Publications Search Tool

139 entries « 7 of 7 »
121. Cassidy, Timothy; Cordy, James R; Dean, Thomas R; Dingel, Juergen: Source Transformation for Concurrency Analysis. In: Electron. Notes Theor. Comput. Sci., 141 (4), pp. 57-75, 2005, ISSN: 1571-0661. (Type: Journal Article | Links | BibTeX)
122. Dingel, Juergen; Liang, Hongzhi: Automating Comprehensive Safety Analysis of Concurrent Programs Using Verisoft and TXL. In: 12th ACM SIGSOFT Twelfth International Symposium on Foundations of Software Engineering (FSE-12), pp. 13-22, ACM, Newport Beach, CA, USA. October 31 - November 6, 2004, 2004, ISBN: 1-58113-855-5. (Type: Inproceedings | Links | BibTeX)
123. Bradbury, Jeremy S; Cordy, James R; Dingel, Juergen; Wermelinger, Michel: A Survey of Self-management in Dynamic Software Architecture Specifications. In: 1st ACM SIGSOFT Workshop on Self-managed Systems (WOSS'04), pp. 28-33, ACM, Newport Beach, California. October 31 - November 1, 2004, 2004, ISBN: 1-58113-989-6. (Type: Inproceedings | Links | BibTeX)
124. Zhang, Hongyu; Bradbury, Jeremy S; Cordy, James R; Dingel, Juergen: A transformational framework for testing and model checking implicit-invocation systems. In: International Workshop on Distributed Event-based Systems (DEBS'04), pp. 110-115, Institution of Engineering and Technology, Edinburgh, Scotland. May 2004, 2004. (Type: Inproceedings | Abstract | Links | BibTeX)
125. Bradbury, Jeremy S; Dingel, Juergen: Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems. In: 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11), pp. 78-87, ACM, Helsinki, Finland. September 1-5, 2003, 2003, ISBN: 1-58113-743-5. (Type: Inproceedings | Links | BibTeX)
126. Crane, Michelle L; Dingel, Juergen: Runtime Conformance Checking of Objects Using Alloy. In: Workshop on Run-time Verification (RV'03), pp. 2 - 21, Boulder, Colorado, USA. July 2003, 2003, ISSN: 1571-0661. (Type: Inproceedings | Links | BibTeX)
127. Dingel, Juergen: Computer-assisted Assume/Guarantee Reasoning with VeriSoft. In: 25th International Conference on Software Engineering (ICSE'03), pp. 138-148, IEEE Computer Society, Portland, Oregon, USA. May 3-10, 2003, 2003, ISBN: 0-7695-1877-X. (Type: Inproceedings | Links | BibTeX)
128. Dingel, Juergen: A Refinement Calculus for Shared-Variable Parallel and Distributed Programming. In: Formal Aspects of Computing, 14 (2), pp. 123-197, 2002, ISSN: 1433-299X. (Type: Journal Article | Abstract | Links | BibTeX)
129. Dingel, Juergen; Garlan, David; Damon, Craig: Bridging the HLA: Problems and Solutions. In: Sixth IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT'02), pp. 33-43, IEEE Computer Society, Dallas, TX, USA. October 11-13, 2002, 2002, ISBN: 0-7695-1853-2. (Type: Inproceedings | Links | BibTeX)
130. Dingel, Juergen; Garlan, David; Damon, Craig A: A feasibility study of the HLA bridge. Department of Computer Science, Carnegie Mellon University (CMU-CS-01-103), 2001, (41 pages). (Type: Technical Report | BibTeX)
131. Dingel, Juergen: Towards a Unified Development Methodology for Shared-Variable Parallel and Distributed Programs. In: Second International Conference on Integrated Formal Methods (IFM'00), pp. 214-234, Springer, Dagstuhl, Germany. November 1-3, 2000, 2000, ISBN: 3-540-41196-8. (Type: Inproceedings | Links | BibTeX)
132. Dingel, Juergen: A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST'98), pp. 231-247, Springer, Amazonia, Brazil. January 4-8, 1999, 1999, ISBN: 3-540-65462-3. (Type: Inproceedings | Links | BibTeX)
133. Dingel, Juergen; Garlan, David; Jha, Somesh; Notkin, David: Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. In: Formal Aspects of Computing, 10 (3), pp. 193-213, 1998, ISSN: 1433-299X. (Type: Journal Article | Abstract | Links | BibTeX)
134. Garlan, David; Jha, Somesh; Notkin, David; Dingel, Juergen: Reasoning About Implicit Invocation. In: 6th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-6), pp. 209-221, ACM, Lake Buena Vista, Florida, USA. November 3-5, 1998, 1998, ISBN: 1-58113-108-9. (Type: Inproceedings | Links | BibTeX)
135. Dingel, Juergen: Approximating Unity. In: Garlan, David; Métayer, Daniel Le (Ed.): Second International Conference on Coordination Languages and Models (COORDINATION'97), pp. 320-337, Springer, Berlin, Germany. September 1-3, 1997, 1997, ISBN: 978-3-540-69527-1. (Type: Inproceedings | Abstract | Links | BibTeX)
136. Baldamus, Michael; Dingel, Juergen: Modal characterization of weak bisimulation for higher-order processes. In: Bidoit, Michel; Dauchet, Max (Ed.): 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97), pp. 285-296, Springer, Lille, France. April 14-18, 1997, 1997, ISBN: 978-3-540-68517-3. (Type: Inproceedings | Abstract | Links | BibTeX)
137. Dingel, Juergen: Modular Verification for Shared-Variable Concurrent Programs. In: 7th International Conference on Concurrency Theory (CONCUR'96), pp. 703-718, Springer, Pisa, Italy. August 26-29, 1996, 1996, ISBN: 3-540-61604-7. (Type: Inproceedings | Links | BibTeX)
138. Dingel, Juergen; Filkorn, Thomas: Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving. In: Wolper, Pierre (Ed.): 7th International Conference on Computer Aided Verification (CAV'95), pp. 54-69, Springer, Liège, Belgium. July 3-5, 1995, 1995, ISBN: 978-3-540-49413-3. (Type: Inproceedings | Abstract | Links | BibTeX)
139. Loewe, Michael; Dingel, Juergen: Canonical Derivations for the Single-Pushout Approach for Graph Transformation. In: Dagstuhl Seminar on Graph Transformations in Computer Science, pp. 54-69, Springer, Schloss Dagstuhl, Germany. January 1993, 1995. (Type: Inproceedings | BibTeX)
139 entries « 7 of 7 »