BibSonomy :: author :: Lüttgen ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(59)

<< < 1 | 2 | 3 > >>

Bisimulation on Speed: A Unified Approach.
Gerald Lüttgen, and Walter Vogler FoSSaCS, volume 3441 of Lecture Notes in Computer Science, page 79-94. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Using formal specifications to support testing.
Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, and Hussein Zedan ACM Comput. Surv. (2009)
to engineering formal methods myown software specifications support testing by jpbowen and 1 other user on Aug 1, 2011, 7:39 PM
URL | BibTeX
Bisimulation on Speed: Lower Time Bounds.
Gerald Lüttgen, and Walter Vogler FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 333-347. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Safe reasoning with Logic LTS.
Gerald Lüttgen, and Walter Vogler Theor. Comput. Sci. 412(28):3337-3357 (2011)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
A Compositional Semantic Theory for Synchronous Component-based Design.
Barry Norton, Gerald Lüttgen, and Michael Mendler CONCUR, volume 2761 of Lecture Notes in Computer Science, page 453-467. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Axiomatizing an Algebra of Step Reactions for Synchronous Languages.
Gerald Lüttgen, and Michael Mendler CONCUR, volume 2421 of Lecture Notes in Computer Science, page 386-401. Springer, (2002)
to dblp by dblp on Jul 1, 2011, 12:00 AM
URL | BibTeX
A Faster-than Relation for Asynchronous Processes.
Gerald Lüttgen, and Walter Vogler CONCUR, volume 2154 of Lecture Notes in Computer Science, page 262-276. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation.
Gianfranco Ciardo, Gerald Lüttgen, and Radu Siminiceanu TACAS, volume 2031 of Lecture Notes in Computer Science, page 328-342. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
A Semantic Theory for Heterogeneous System Design.
Rance Cleaveland, and Gerald Lüttgen FSTTCS, volume 1974 of Lecture Notes in Computer Science, page 312-324. Springer, (2000)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
A Logical Process Calculus.
Rance Cleaveland, and Gerald Lüttgen Electr. Notes Theor. Comput. Sci. 68(2):33-50 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Towards a Model-Theory for Esterel.
Gerald Lüttgen, and Michael Mendler Electr. Notes Theor. Comput. Sci. 65(5):95-109 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Efficient Symbolic State-Space Construction for Asynchronous Systems.
Gianfranco Ciardo, Gerald Lüttgen, and Radu Siminiceanu ICATPN, page 103-122. (2000)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.
Gerald Lüttgen, and Michael Mendler ICALP, volume 1853 of Lecture Notes in Computer Science, page 163-174. Springer, (2000)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Analyzing Mode Confusion via Model Checking.
Gerald Lüttgen, and Victor Carreño SPIN, volume 1680 of Lecture Notes in Computer Science, page 120-135. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Statecharts Via Process Algebra.
Gerald Lüttgen, Michael von der Beeck, and Rance Cleaveland CONCUR, volume 1664 of Lecture Notes in Computer Science, page 399-414. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
Compositional Minimisation of Finite State Systems Using Interface Specifications.
Susanne Graf, Bernhard Steffen, and Gerald Lüttgen Formal Asp. Comput. 8(5):607-616 (1996)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
To Parallelize or to Optimize?
Jonathan Ezekiel, Gerald Lüttgen, and Radu Siminiceanu J. Log. Comput. 21(1):85-120 (2011)
to dblp by dblp on May 23, 2011, 12:00 AM
URL | BibTeX
A Practical Approach to Implementing Real-Time Semantics.
Girish Bhat, Rance Cleaveland, and Gerald Lüttgen Ann. Software Eng. (1999)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Pre-emptive modeling of concurrent and distributed systems.
Gerald Lüttgen Berichte aus der Informatik Shaker, (1998)
to dblp by dblp on Apr 21, 2011, 12:00 AM
BibTeX
Is observational congruence on µ-expressions axiomatisable in equational Horn logic?
Michael Mendler, and Gerald Lüttgen Inf. Comput. 208(6):634-651 (2010)
to dblp by dblp on Nov 2, 2010, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100