The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Gerald Lüttgen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
    Efficient Symbolic State-Space Construction for Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:103-122 [Conf]
  2. Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen
    Non-monotone Fixpoint Iterations to Resolve Second Order Effects. [Citation Graph (0, 0)][DBLP]
    CC, 1996, pp:106-120 [Conf]
  3. Rance Cleaveland, Gerald Lüttgen, Michael Mendler
    An Algebraic Theory of Multiple Clocks. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:166-180 [Conf]
  4. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    A Process Algebra with Distributed Priorities. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:34-49 [Conf]
  5. Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    Statecharts Via Process Algebra. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:399-414 [Conf]
  6. Gerald Lüttgen, Michael Mendler
    Axiomatizing an Algebra of Step Reactions for Synchronous Languages. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:386-401 [Conf]
  7. Gerald Lüttgen, Walter Vogler
    A Faster-than Relation for Asynchronous Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:262-276 [Conf]
  8. Barry Norton, Gerald Lüttgen, Michael Mendler
    A Compositional Semantic Theory for Synchronous Component-based Design. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:453-467 [Conf]
  9. Girish Bhat, Rance Cleaveland, Gerald Lüttgen
    Dynamic Priorities for Modeling Real-Time. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:321-336 [Conf]
  10. Gerald Lüttgen, Walter Vogler
    Bisimulation on Speed: Lower Time Bounds. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:333-347 [Conf]
  11. Gerald Lüttgen, Walter Vogler
    Bisimulation on Speed: A Unified Approach. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:79-94 [Conf]
  12. Gerald Lüttgen, Walter Vogler
    Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:261-276 [Conf]
  13. Rance Cleaveland, Gerald Lüttgen
    A Semantic Theory for Heterogeneous System Design. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2000, pp:312-324 [Conf]
  14. Gerald Lüttgen, Michael Mendler
    Statecharts: From Visual Syntax to Model-Theoretic Semantics. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2001, pp:615-621 [Conf]
  15. Gerald Lüttgen, Michael Mendler
    Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. [Citation Graph (0, 0)][DBLP]
    ICALP, 2000, pp:163-174 [Conf]
  16. Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland
    A compositional approach to statecharts semantics. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:120-129 [Conf]
  17. Gerald Lüttgen, Victor Carreño
    Analyzing Mode Confusion via Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:120-135 [Conf]
  18. Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu
    Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:328-342 [Conf]
  19. Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims
    Priorities for Modeling and Verifying Distributed Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:278-297 [Conf]
  20. Girish Bhat, Rance Cleaveland, Gerald Lüttgen
    A Practical Approach to Implementing Real-Time Semantics. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:127-155 [Journal]
  21. Rance Cleaveland, Gerald Lüttgen
    A Logical Process Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
  22. Gerald Lüttgen, Michael Mendler
    Towards a Model-Theory for Esterel. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:5, pp:- [Journal]
  23. Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:1-2 [Journal]
  24. Manfred Broy, Gerald Lüttgen, Michael Mendler
    Editorial: Where Theory and Practice Meet. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:4, pp:297-298 [Journal]
  25. Manfred Broy, Gerald Lüttgen, Michael Mendler
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:3, pp:165-0 [Journal]
  26. Susanne Graf, Bernhard Steffen, Gerald Lüttgen
    Compositional Minimisation of Finite State Systems Using Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:5, pp:607-616 [Journal]
  27. Gerald Lüttgen, Walter Vogler
    Bisimulation on speed: worst-case efficiency. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2004, v:191, n:2, pp:105-144 [Journal]
  28. Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen
    Modeling and Verifying Distributed Systems Using Priorities: A Case Study. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1996, v:17, n:2, pp:50-62 [Journal]
  29. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    A Process Algebra with Distributed Priorities. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:195, n:2, pp:227-258 [Journal]
  30. Gerald Lüttgen, Walter Vogler
    Bisimulation on speed: A unified approach. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:209-227 [Journal]
  31. Gerald Lüttgen, Walter Vogler
    Conjunction on processes: Full abstraction via ready-tree semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:1-2, pp:19-40 [Journal]
  32. Gerald Lüttgen, Michael Mendler
    The intuitionism behind Statecharts steps. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2002, v:3, n:1, pp:1-41 [Journal]
  33. Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu
    Improving Static Variable Orders Via Invariants. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:83-103 [Conf]
  34. Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo
    Parallelising Symbolic State-Space Generators. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:268-280 [Conf]
  35. Michael Mendler, Gerald Lüttgen
    Is Observational Congruence Axiomatisable in Equational Horn Logic? [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:197-211 [Conf]
  36. Gerald Lüttgen, Walter Vogler
    Ready Simulation for Concurrency: It's Logical! [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:752-763 [Conf]
  37. Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen
    Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:648-663 [Conf]
  38. Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu
    Can Saturation Be Parallelised? [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:331-346 [Conf]
  39. Jan Tobias Mühlberg, Gerald Lüttgen
    Blasting Linux Code. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:211-226 [Conf]
  40. Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner
    Exploiting interleaving semantics in symbolic state-space generation. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2007, v:31, n:1, pp:63-100 [Journal]
  41. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    Priority and abstraction in process algebra. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:9, pp:1426-1458 [Journal]

  42. What Is in a Step: New Perspectives on a Classical Question. [Citation Graph (, )][DBLP]


  43. Safe Reasoning with Logic LTS. [Citation Graph (, )][DBLP]


  44. Model-Checking the Linux Virtual File System. [Citation Graph (, )][DBLP]


  45. On the Expressiveness of Refinement Settings. [Citation Graph (, )][DBLP]


  46. Verifying Compiled File System Code. [Citation Graph (, )][DBLP]


  47. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


  48. Measuring and Evaluating Parallel State-Space Exploration Algorithms. [Citation Graph (, )][DBLP]


  49. Preface. [Citation Graph (, )][DBLP]


  50. A-maze-ing Esterel. [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.031secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002