A graphical interval logic for specifying concurrent systems LK Dillon, G Kutty, LE Moser, PM Melliar-Smith, YS Ramakrishna ACM Transactions on Software Engineering and Methodology (TOSEM) 3 (2), 131-165, 1994 | 170 | 1994 |
Automated analysis of concurrent systems with the constrained expression toolset GS Avrunin, UA Buy, JC Corbett, LK Dillon, JC Wileden IEEE Transactions on Software Engineering 17 (11), 1204-1222, 1991 | 153 | 1991 |
Generating oracles from your favorite temporal logic specifications LK Dillon, YS Ramakrishna Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software …, 1996 | 108 | 1996 |
Oracles for checking temporal properties of concurrent systems LK Dillon, Q Yu ACM SIGSOFT Software Engineering Notes 19 (5), 140-153, 1994 | 97 | 1994 |
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems GS Avrunin, LK Dillon, JC Wileden, WE Riddle IEEE Transactions on Software Engineering, 278-292, 1986 | 92 | 1986 |
A graphical environment for the design of concurrent real-time systems LE Moser, YS Ramakrishna, G Kutty, PM Melliar-Smith, LK Dillon ACM Transactions on Software Engineering and Methodology (TOSEM) 6 (1), 31-79, 1997 | 86 | 1997 |
Pharos: A scalable distributed architecture for locating heterogeneous information sources R Dolin, D Agrawal, A El Abbadi, L Dillon Proceedings of the sixth international conference on Information and …, 1997 | 61 | 1997 |
Interval logics and their decision procedures: Part II: A real-time interval logic YS Ramakrishna, PM Melliar-Smith, LE Moser, LK Dillon, G Kutty Theoretical Computer Science 170 (1-2), 1-46, 1996 | 57 | 1996 |
Using symbolic execution for verification of Ada tasking programs LK Dillon ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (4), 643-669, 1990 | 56 | 1990 |
A system of specification patterns MB Dwyer, GS Avrunin, JC Corbett, H Alavi, L Dillon, C Pasareanu Patterns catalog is available at http://www. cis. ksu. edu/\verb1~ 1dwyer …, 1997 | 52 | 1997 |
Analyzing partially-implemented real-time systems GS Avrunin, JC Corbett, LK Dillon Proceedings of the 19th International Conference on Software Engineering …, 1997 | 48 | 1997 |
E cient specification-based oracles for critical systems TO O'Malley, DJ Richardson, LK Dillon Proceedings of the california software symposium, 1996 | 43 | 1996 |
Inference graphs: A computational structure supporting generation of customizable and correct analysis components LK Dillon, REK Stirewalt IEEE Transactions on Software Engineering 29 (2), 133-150, 2003 | 39 | 2003 |
Graphical specifications for concurrent software systems LK Dillon, G Kutty, LE Moser, PM Melliar-Smith, YS Ramakrishna Proceedings of the 14th international conference on Software engineering …, 1992 | 39 | 1992 |
A component-based approach to building formal analysis tools RE Stirewalt, LK Dillon Proceedings of the 23rd International Conference on Software Engineering …, 2001 | 38 | 2001 |
Really visual temporal reasoning YS Ramakrishna, PM Melliar-Smith, LE Moser, LK Dillon, G Kutty 1993 Proceedings Real-Time Systems Symposium, 262-273, 1993 | 38 | 1993 |
Constrained expressions: Toward broad applicability of analysis methods for distributed software systems LK Dillon, GS Avrunin, JC Wileden ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 374-402, 1988 | 38 | 1988 |
A study of student strategies for the corrective maintenance of concurrent software SD Fleming, E Kraemer, REK Stirewalt, S Xie, LK Dillon Proceedings of the 30th international conference on Software engineering …, 2008 | 34 | 2008 |
A real-time interval logic and its decision procedure YS Ramakrishna, LK Dillon, LE Moser, PM Melliar-Smith, G Kutty Sadhana 21, 147-184, 1996 | 31 | 1996 |
A graphical interval logic toolset for verifying concurrent systems G Kutty, YS Ramakrishna, LE Moser, LK Dillon, PM Melliar-Smith Computer Aided Verification: 5th International Conference, CAV'93 Elounda …, 1993 | 29 | 1993 |