PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dillon, Laura K."

Author of the publication

copydeleteadd this publication to your clipboard
Analyzing Partially-Implemented Real-Time Systems.

, , and . ICSE, page 228-238. ACM, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

K. Stahl

Laura Kleckner University of Stuttgart

K. Gaiser

K. Lindow

Laura Schmidberger University of Stuttgart

 

Other publications of authors with the same name

A Model-Based Design-for-Verification Approach to Checking for Deadlock in Multi-Threaded Applications., , and . International Journal of Software Engineering and Knowledge Engineering, 17 (2): 207-230 (2007)Inference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components., and . IEEE Trans. Software Eng., 29 (2): 133-150 (2003)Analyzing Partially-Implemented Real-Time Systems., , and . IEEE Trans. Software Eng., 24 (8): 602-614 (1998)Using Views to Specify a Synchronization Aspect for Object-Oriented Languages., , and . SEW, page 272-281. IEEE Computer Society, (2006)Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory Systems., , and . SEW, page 201-210. IEEE Computer Society, (2005)Interval Logics and Their Decision Procedures, Part I: An Interval Logic., , , , and . Theor. Comput. Sci., 166 (1&2): 1-47 (1996)Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems., , and . ACM Trans. Program. Lang. Syst., 10 (3): 374-402 (1988)Prototyping synchronization policies for existing programs., , and . ICPC, page 289-290. IEEE Computer Society, (2009)Automated Test Input Generation for Software That Consumes ORM Models., , and . OTM Workshops, volume 5872 of Lecture Notes in Computer Science, page 704-713. Springer, (2009)An Automata-Theoretic Decision Procedure for Future Interval Logic., , , , and . FSTTCS, volume 652 of Lecture Notes in Computer Science, page 51-67. Springer, (1992)