- Improving Static Variable Orders via Invariants Gianfranco Ciardo1
- Enforcing correct programming of libraries: A case study on hash tables
- WHAT IS IN A STEP: A FULLY ABSTRACT SEMANTICS FOR STATECHARTS MACRO STEPS
- Short Running Title: Implementing Real-Time Semantics Contact Author: Gerald Luttgen
- Electronic Notes in Theoretical Computer Science 68 No. 22002 URL: http: www.elsevier.nl locate entcs volume68.html 18 pages
- A Process Algebra with Distributed Priorities R. Cleaveland G. Luttgeny V. Natarajan
- Fully-abstract Statecharts Semantics via Intuitionistic Kripke Models
- UNIVERSITaT PASSAU Fakultat fur Mathematik und Informatik
- Theoretical Informatics and Applications Will be set by the publisher Informatique Theorique et Applications
- Ready Simulation for Concurrency: It's Logical!
- National Aeronautics and Space Administration
- A Process Algebra with Distributed Priorities Rance Cleaveland1 Gerald Luttgen2 V. Natarajan1
- Formal Aspects of Computing 1996 3: 1 000 Compositional Minimisation of Finite
- National Aeronautics and Space Administration
- UNIVERSITaT PASSAU Fakultat fur Mathematik und Informatik
- Ready Simulation for Concurrency: It's Logical! Gerald Luttgen1
- E cient Symbolic State-space Construction for Asynchronous Systems?
- Dissertation Pre-emptive Modeling of
- Modeling and Verifying Distributed Systems Using
- What is in a Step: New Perspectives on a Classical Question
- Is Observational Congruence on -Expressions Axiomatisable in Equational Horn Logic?
- Can Saturation be Parallelised? On the Parallelisation of a Symbolic State-Space Generator
- Conjunction on Processes: FullAbstraction via ReadyTree Semantics
- An Algebraic Theory of Distributed Real-Time Rance Cleaveland and Gerald Luttgeny
- NASA/CR-2002-211759 ICASE Report No. 2002-26
- Universitat Augsburg Ready Simulation for Concurrency
- Axiomatizing an Algebra of Step Reactions for Synchronous Languages
- A Process Algebra with Distributed Priorities? Rance Cleaveland
- On the Expressiveness of Refinement Settings Harald Fecher1
- Universitat Augsburg Safe Reasoning with Logic LTS
- Exploiting Interleaving Semantics in Symbolic StateSpace Generation
- National Aeronautics and Space Administration
- Statecharts: From Visual Syntax to ModelTheoretic Semantics Gerald Luttgen1 Michael Mendler1
- Analyzing Mode Confusion via Model Checking? Gerald Luttgen1 and Victor Carre~no2
- Accessing Databases from Esterel David White & Gerald Luttgen
- National Aeronautics and Space Administration
- Bisimulation on Speed: A Unified Approach Gerald Luttgen1
- To Parallelise or To Optimise? Jonathan Ezekiel
- Statecharts Via Process Algebra? Gerald Luttgen1, Michael von der Beeck2, and Rance Cleaveland3
- Book Review for the STVR Journal Review of Modeling and Verification Using UML Statecharts
- Measuring and Evaluating Parallel State-Space Exploration Algorithms 1
- Model-Checking the Linux Virtual File System Andy Galloway1
- Non-monotone Fixpoint Iterations to Resolve Second Order E ects
- Embedded systems programming: Accessing databases from Esterel
- Conjunction on Processes: Full-Abstraction via Ready-Tree Semantics
- Bisimulation on Speed: A Unified Approach Gerald Luttgen 1
- The Intuitionism Behind Statecharts Steps GERALD LUTTGEN and MICHAEL MENDLER
- Formal Aspects of Computing 1996 8: 1 28 Compositional Minimisation of Finite
- Symbolic Object Code Analysis Jan Tobias Mhlberg and Gerald Lttgen
- Verifying Compiled File System Code Jan Tobias Mhlberg and Gerald Lttgen
- Safe Reasoning with Logic LTS Gerald Luttgen1
- Is Observational Congruence Axiomatisable in Equational Horn Logic?
- Blasting Linux Code Jan Tobias Mhlberg and Gerald Lttgen
- Conjunction on Processes: FullAbstraction via ReadyTree Semantics
- Bisimulation on Speed: Lower Time Bounds Gerald Luttgen1,
- A Compositional Semantic Theory for Synchronous Componentbased Design
- Saturation: An E cient Iteration Strategy for Symbolic State Space Generation?
- A Compositional Approach to Statecharts Semantics Gerald Luttgen
- Dynamic priorities for modeling Girish Bhat, Rance Cleaveland
- An Algebraic Theory of Multiple Clocks Rance Cleaveland1;?, Gerald Luttgen2;??, and Michael Mendler3;? ? ?
- Priorities for Modeling and Verifying Distributed Systems
- These are the final proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008), which was held in Budapest,
- This report contains the proceedings of the Second International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004).
- Under consideration for publication in Formal Aspects of Computing Manfred Broy1
- Under consideration for publication in Formal Aspects of Computing Editorial: Where Theory and Practice Meet
- Model-checking Part of a Linux File System* Andy Galloway
- Blasting Linux Code Jan Tobias Mhlberg and Gerald Lttgen
- A PARALLEL SATURATION ALGORITHM ON SHARED MEMORY ARCHITECTURES
- Towards a Benchmark for Model Checkers of Asynchronous Concurrent Systems
- Accessing Databases from Esterel David White & Gerald Luttgen
- Universitat Augsburg Bisimulation on Speed
- Universitat Augsburg Bisimulation on Speed: Lower Time
- National Aeronautics and Space Administration
- National Aeronautics and Space Administration
- National Aeronautics and Space Administration
- National Aeronautics and Space Administration
- National Aeronautics and Space Administration
- National Aeronautics and Space Administration
- National Aeronautics and Space Administration
- Non-monotone Fixpoint Iterations to Resolve Second
- When 1 Clock Is Not Enough Gerald Luttgen, University of York, UK
- Formal Methods for the Quality Assurance of Digital Systems Gerald Luttgen
- A Faster than Relation for Asynchronous Processes?
- AN ANTICIPATED FIRING SATURATION ALGORITHM FOR SHARED-MEMORY ARCHITECTURES
- Is Observational Congruence on -Expressions Axiomatisable in Equational Horn Logic?6
- Bamberger Beitrge zur Wirtschaftsinformatik und Angewandten Informatik
- Formal Verification & Its Role in Testing Gerald Luttgen
- Priority in Process Algebras Rance Cleaveland
- Safe Reasoning with Logic LTS6 Gerald Luttgena,
- Book Review for AMS Reviews Review of Unfoldings: A Partial-Order Approach to Model Checking
