A framework for evaluating specification methods for reactive systems: experience report
Ardis, Mark A., Chaves, John A., Jagadeesan, Lalita Jategaonkar, Mataga, Peter, Puchol, Carlos, Staskauskas, Mark G., Von Olnhausen, James
Published in International Conference on Software Engineering: Proceedings of the 17th international conference on Software engineering; 24-28 Apr. 1995 (23.04.1995)
Published in International Conference on Software Engineering: Proceedings of the 17th international conference on Software engineering; 24-28 Apr. 1995 (23.04.1995)
Get full text
Conference Proceeding
Sisl: several interfaces, single logic
Ball, Thomas, Colby, Christopher, Danielsen, Peter, Jagadeesan, Lalita Jategaonkar, Jagadeesan, Radha, Laufer, Konstantin, Mataga, Peter, Rehor, Kenneth
Published in International journal of speech technology (01.06.2000)
Published in International journal of speech technology (01.06.2000)
Get full text
Journal Article
A framework for evaluating specification methods for reactive systems-experience report
Ardis, M.A., Chaves, J.A., Jagadeesan, L.J., Mataga, P., Puchol, C., Staskauskas, M.G., Von Olnhausen, J.
Published in IEEE transactions on software engineering (01.06.1996)
Published in IEEE transactions on software engineering (01.06.1996)
Get full text
Journal Article
Conference Proceeding
Design and implementation of Triveni: a process-algebraic API for threads + events
Colby, C., Jagadeesan, L.J., Jagadeesan, R., Laufer, K., Puchol, C.
Published in Proceedings - International Conference on Computer Languages (1998)
Published in Proceedings - International Conference on Computer Languages (1998)
Get full text
Conference Proceeding
Journal Article
Specification-based testing of reactive software: tools and experiments: experience report
Jagadeesan, Lalita Jategaonkar, Porter, Adam, Puchol, Carlos, Ramming, J. Christopher, Votta, Lawrence G.
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.05.1997)
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.05.1997)
Get full text
Conference Proceeding
A Framework for Evaluating Specification Methods for Reactive Systems
Ardis, Mark A., Chaves, John A., Jagadeesan, Lalita Jategaonkar, Mataga, Peter, Puchol, Carlos, Staskauskas, Mark G., Olnhausen, James Von
Published in 1995 17th International Conference on Software Engineering (01.04.1995)
Published in 1995 17th International Conference on Software Engineering (01.04.1995)
Get full text
Conference Proceeding
Model-checking of real-time systems: a telecommunications application: experience report
Alur, Rajeev, Jagadeesan, Lalita Jategaonkar, Kott, Joseph J., Von Olnhausen, James E.
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.05.1997)
Published in International Conference on Software Engineering: Proceedings of the 19th international conference on Software engineering; 17-23 May 1997 (01.05.1997)
Get full text
Conference Proceeding
Method for automatically closing open reactive systems
GODEFROID; PATRICE ISMAEL, COLBY; CHRISTOPHER, JAGADEESAN; LALITA JATEGAONKAR
Year of Publication 15.08.2000
Get full text
Year of Publication 15.08.2000
Patent
User interface for data presentation systems
GRINTER, REBECCA ELIZABETH, JAGADEESAN, LALITA JATEGAONKAR, HIBINO, STACIE LYNN, COX, KENNETH CHARLES, MANTILLA, DAVID ALEJANDRO, BALL, THOMAS J
Year of Publication 14.06.2006
Get full text
Year of Publication 14.06.2006
Patent
Presence awareness in collaborative systems
LI DU, GODEFROID PATRICE ISMAEL, JAGADEESAN LALITA JATEGAONKAR, HERBSLEB JAMES DAVID
Year of Publication 24.02.2004
Get full text
Year of Publication 24.02.2004
Patent
Presence awareness in collaborative systems
Godefroid, Patrice Ismael, Herbsleb, James David, Jagadeesan, Lalita Jategaonkar, Li, Du
Year of Publication 24.02.2004
Get full text
Year of Publication 24.02.2004
Patent