Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gerald Lüttgen" ( http://dblp.L3S.de/Authors/Gerald_Lüttgen )

  Author page on DBLP  Author page in RDF  Community of Gerald Lüttgen in ASPL-2

Publication years (Num. hits)
1996-2000 (16) 2001-2005 (16) 2006-2008 (15) 2009-2012 (13)
Publication types (Num. hits)
article(27) book(1) inproceedings(32)
Venues (Conferences, Journals, ...)
CONCUR(7) Electr. Notes Theor. Comput. S...(6) Formal Asp. Comput.(4) Inf. Comput.(4) Theor. Comput. Sci.(4) FoSSaCS(3) TACAS(3) FMICS/PDMC(2) ICALP(2) ICATPN(2) SPIN(2) ACM Comput. Surv.(1) ACM Trans. Comput. Log.(1) Ann. Software Eng.(1) CAV(1) CC(1) More (+10 of total 31)
Authors
Gerald Lüttgen(60) Michael Mendler(14) Rance Cleaveland(13) Walter Vogler(12) Gianfranco Ciardo(7) Jan Tobias Mühlberg(5) Radu Siminiceanu(5) V. Natarajan(5) Jonathan Ezekiel(4) Andy Jinqing Yu(3) Bernhard Steffen(2) Girish Bhat(2) Manfred Broy(2) Michael von der Beeck(2) Steve Sims(2) Alfons Geser(1) More (+10 of total 43)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 18 keywords
Results
Found 60 publication records. Showing 60 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jan Tobias Mühlberg, Gerald Lüttgen Verifying compiled file system code. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Safe reasoning with Logic LTS. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu To Parallelize or to Optimize? Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Mendler, Gerald Lüttgen Is observational congruence on µ-expressions axiomatisable in equational Horn logic? Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Ready simulation for concurrency: It's logical! Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jan Tobias Mühlberg, Gerald Lüttgen Symbolic Object Code Analysis. Search on Bibsonomy SPIN The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Willem-Paul de Roever, Gerald Lüttgen, Michael Mendler What Is in a Step: New Perspectives on a Classical Question. Search on Bibsonomy Essays in Memory of Amir Pnueli The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert 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, Hussein Zedan Using formal specifications to support testing. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal methods, Software testing
1Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen Decision-diagram-based techniques for bounded reachability checking of asynchronous systems. Search on Bibsonomy STTT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs
1Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt On the Expressiveness of Refinement Settings. Search on Bibsonomy FSEN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jan Tobias Mühlberg, Gerald Lüttgen Verifying Compiled File System Code. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Safe Reasoning with Logic LTS. Search on Bibsonomy SOFSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Andy Galloway, Gerald Lüttgen, Jan Tobias Mühlberg, Radu Siminiceanu Model-Checking the Linux Virtual File System. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ivana Cerná, Gerald Lüttgen Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Gerald Lüttgen Measuring and Evaluating Parallel State-Space Exploration Algorithms. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Conjunction on processes: Full abstraction via ready-tree semantics. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Rance Cleaveland, Gerald Lüttgen, V. Natarajan Priority and abstraction in process algebra. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner Exploiting interleaving semantics in symbolic state-space generation. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Symbolic state-space exploration, Decision diagrams, Kronecker algebra, Interleaving semantics
1Michael Mendler, Gerald Lüttgen Is Observational Congruence Axiomatisable in Equational Horn Logic? Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu Improving Static Variable Orders Via Invariants. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Ready Simulation for Concurrency: It's Logical! Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Gerald Lüttgen, Gianfranco Ciardo Parallelising Symbolic State-Space Generators. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Bisimulation on speed: A unified approach. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jonathan Ezekiel, Gerald Lüttgen, Radu Siminiceanu Can Saturation Be Parallelised? Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jan Tobias Mühlberg, Gerald Lüttgen Blasting Linux Code. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Conjunction on Processes: Full-Abstraction Via Ready-Tree Semantics. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Bisimulation on speed: Lower time bounds. Search on Bibsonomy ITA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Bisimulation on Speed: A Unified Approach. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Gerald Lüttgen, Michael Mendler Editorial. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Bisimulation on speed: worst-case efficiency. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Joaquin Aguado, Michael Mendler, Gerald Lüttgen A-maze-ing Esterel. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler Bisimulation on Speed: Lower Time Bounds. Search on Bibsonomy FoSSaCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Manfred Broy, Gerald Lüttgen, Michael Mendler Editorial: Where Theory and Practice Meet. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Barry Norton, Gerald Lüttgen, Michael Mendler A Compositional Semantic Theory for Synchronous Component-based Design. Search on Bibsonomy CONCUR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Rance Cleaveland, Gerald Lüttgen A Logical Process Calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Michael Mendler Towards a Model-Theory for Esterel. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Michael Mendler The intuitionism behind Statecharts steps. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
1Gerald Lüttgen, Michael Mendler Axiomatizing an Algebra of Step Reactions for Synchronous Languages. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Walter Vogler A Faster-than Relation for Asynchronous Processes. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation. Search on Bibsonomy TACAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Michael Mendler Statecharts: From Visual Syntax to Model-Theoretic Semantics. Search on Bibsonomy GI Jahrestagung The full citation details ... 2001 DBLP  BibTeX  RDF
1Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu Efficient Symbolic State-Space Construction for Asynchronous Systems. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Michael Mendler Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland A compositional approach to statecharts semantics. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF operational semantics, statecharts, compositionality
1Rance Cleaveland, Gerald Lüttgen A Semantic Theory for Heterogeneous System Design. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Girish Bhat, Rance Cleaveland, Gerald Lüttgen A Practical Approach to Implementing Real-Time Semantics. Search on Bibsonomy Ann. Software Eng. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland Statecharts Via Process Algebra. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen, Victor Carreño Analyzing Mode Confusion via Model Checking. Search on Bibsonomy SPIN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Rance Cleaveland, Gerald Lüttgen, V. Natarajan A Process Algebra with Distributed Priorities. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Gerald Lüttgen Pre-emptive modeling of concurrent and distributed systems. Search on Bibsonomy 1998   RDF
1Rance Cleaveland, Gerald Lüttgen, Michael Mendler An Algebraic Theory of Multiple Clocks. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Girish Bhat, Rance Cleaveland, Gerald Lüttgen Dynamic Priorities for Modeling Real-Time. Search on Bibsonomy FORTE The full citation details ... 1997 DBLP  BibTeX  RDF
1Susanne Graf, Bernhard Steffen, Gerald Lüttgen Compositional Minimisation of Finite State Systems Using Interface Specifications. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rance Cleaveland, V. Natarajan, Steve Sims, Gerald Lüttgen Modeling and Verifying Distributed Systems Using Priorities: A Case Study. Search on Bibsonomy Software - Concepts and Tools The full citation details ... 1996 DBLP  BibTeX  RDF
1Rance Cleaveland, Gerald Lüttgen, V. Natarajan A Process Algebra with Distributed Priorities. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Rance Cleaveland, Gerald Lüttgen, V. Natarajan, Steve Sims Priorities for Modeling and Verifying Distributed Systems. Search on Bibsonomy TACAS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Alfons Geser, Jens Knoop, Gerald Lüttgen, Oliver Rüthing, Bernhard Steffen Non-monotone Fixpoint Iterations to Resolve Second Order Effects. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #60 of 60 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.