Peter Niebert

2008
25	EE	Peter Niebert, Doron Peled, Amir Pnueli: Discriminative Model Checking. CAV 2008: 504-516
2006
24	EE	Peter Niebert, Hongyang Qu: The Implementation of Mazurkiewicz Traces in POEM. ATVA 2006: 508-522
23	EE	Peter Niebert, Hongyang Qu: Adding Invariants to Event Zone Automata. FORMATS 2006: 290-305
22	EE	Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler: Stronger Reduction Criteria for Local First Search. ICTAC 2006: 108-122
21	EE	Peter Niebert, Doron Peled: Efficient Model Checking for LTL with Partial Order Snapshots. TACAS 2006: 272-286
2005
20	EE	Denis Lugiez, Peter Niebert, Sarah Zennou: A partial order semantics approach to the clock explosion problem of timed automata. Theor. Comput. Sci. 345(1): 27-59 (2005)
2004
19	EE	Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert: Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276
18	EE	Pedro R. D'Argenio, Peter Niebert: Partial Order Reduction on Concurrent Probabilistic Programs. QEST 2004: 240-249
17	EE	Denis Lugiez, Peter Niebert, Sarah Zennou: A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. TACAS 2004: 296-311
2003
16		Kim Guldstrand Larsen, Peter Niebert: Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers Springer 2003
15	EE	Sarah Zennou, Manuel Yguel, Peter Niebert: ELSE: A New Symbolic State Generator for Timed Automata. FORMATS 2003: 273-280
14	EE	Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager: Adding Symmetry Reduction to Uppaal. FORMATS 2003: 46-59
13	EE	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert: From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. LCTES 2003: 153-162
2002
12	EE	Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244
11	EE	Denis Lugiez, Peter Niebert, Sarah Zennou: Dynamic Bounds and Transition Merging for Local First Search. SPIN 2002: 221-229
10	EE	Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou: Black Box Unfolding with Local First Search. TACAS 2002: 386-400
2001
9	EE	Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez: Local First Search - A New Paradigm for Partial Order Reductions. CONCUR 2001: 396-410
2000
8	EE	Peter Niebert, Sergio Yovine: Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode. HSCC 2000: 338-351
1999
7		Michaela Huhn, Peter Niebert, Frank Wallner: Model Checking Logics for Communicating Sequential Agents. FoSSaCS 1999: 227-242
1998
6		Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim: A Process Algebra Semantics for MSC Including Conditions. FBT 1998: 185-196
5		Michaela Huhn, Peter Niebert, Heike Wehrheim: Partial Order Reductions for Bisimulation Checking. FSTTCS 1998: 271-282
4	EE	Michaela Huhn, Peter Niebert, Frank Wallner: Verification Based on Local States. TACAS 1998: 36-51
1997
3		Peter Niebert, Barbara Sprick: A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints. TABLEAUX 1997: 291-306
1996
2		Michaela Huhn, Peter Niebert: Towards Automata for Branching Time and Partial Order. CONCUR 1996: 611-626
1995
1		Peter Niebert: A v-Calculus with Local Views for Systems of Sequential Agents. MFCS 1995: 563-573

Coauthor Index

1	Eugene Asarin	[12] [19]
2	Gerd Behrmann	[14]
3	Sébastien Bornot	[10]
4	Marius Bozga	[12]
5	Paul Caspi	[13]
6	Scott Cotton	[19]
7	Adrian Curic	[13]
8	Pedro R. D'Argenio	[18]
9	Thomas Gehrke	[6]
10	Martijn Hendriks	[14]
11	Michaela Huhn	[2] [4] [5] [6] [7] [9]
12	Navendu Jain	[12]
13	Marcos E. Kurbán	[22]
14	Kim Guldstrand Larsen	[14] [16]
15	Denis Lugiez	[9] [11] [17] [20]
16	Moez Mahfoudh	[12]
17	Aude Maignan	[13]
18	Oded Maler	[12] [19]
19	Rémi Morin	[10]
20	Doron Peled	[21] [25]
21	Amir Pnueli	[25]
22	Hongyang Qu	[22] [23] [24]
23	Arend Rensink	[6]
24	Christos Sofronis	[13]
25	Barbara Sprick	[3]
26	Stavros Tripakis	[13]
27	Frits W. Vaandrager	[14]
28	Walter Vogler	[22]
29	Frank Wallner	[4] [7]
30	Heike Wehrheim	[5] [6]
31	Manuel Yguel	[15]
32	Sergio Yovine	[8]
33	Sarah Zennou	[9] [10] [11] [15] [17] [20]

Colors in the list of coauthors