Publications of the group by year

• To appear (5)
• 2007 (6), 2006 (29), 2005 (26), 2004 (36), 2003 (31), 2002 (12), 2001 (11), 2000 (11)
• 1999 (9), 1998 (7), 1997 (7), 1996 (9), 1995 (7), 1994 (5), 1993 (3), 1992 (3), 1991 (6), 1990 (3)

Publications of the group by type

• Books and Journal Articles (53)
• Conference and Workshop Papers (104)
• Master's Theses (6)
• PhD Theses (5)
• Technical Reports (45)
• Non-refereed papers

Publications by author

• Esparza, Javier
• Heindel, Tobias
• Heljanko, Keijo
• Kiefer, Stefan
• Kozioura, Vitali
• König, Barbara
• Luttenberger, Michael
• Nowotka, Dirk
• Schröter, Claus
• Schwoon, Stefan
• Stefanescu, Alin
• Suwimonteerabuth, Dejvuth

Projects

• Advanced Validation Techniques for Telecommunication Protocols
• Automatic Synthesis of Distributed Systems
• An Automata-theoretic Approach to Software Model-Checking
• Brazilian-German project DACHIA
• Static Analysis of Dynamically Evolving Systems

Full listing of the publications