Peter Niebert

According to our database, Peter Niebert authored at least 29 papers between 1995 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Balanced Connected Partitioning of Unweighted Grid Graphs.

Cedric Berenger, Peter Niebert, Kévin Perrot

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2014

Cellular Programming.

Peter Niebert, Mathieu Caralp

Proceedings of the Theory and Practice of Natural Computing, 2014

2011

A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems.

Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata.

Janusz Malinowski, Peter Niebert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009

Efficient model checking for LTL with partial order snapshots.

Peter Niebert, Doron A. Peled

Theor. Comput. Sci., 2009

2008

Discriminative Model Checking.

Peter Niebert, Doron A. Peled, Amir Pnueli

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Stronger Reduction Criteria for Local First Search.

Marcos E. Kurbán, Peter Niebert, Hongyang Qu, Walter Vogler

Proceedings of the Theoretical Aspects of Computing, 2006

Adding Invariants to Event Zone Automata.

Peter Niebert, Hongyang Qu

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

The Implementation of Mazurkiewicz Traces in POEM.

Peter Niebert, Hongyang Qu

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

A partial order semantics approach to the clock explosion problem of timed automata.

Denis Lugiez, Peter Niebert, Sarah Zennou

Theor. Comput. Sci., 2005

2004

Partial Order Reduction on Concurrent Probabilistic Programs.

Pedro R. D'Argenio, Peter Niebert

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Some Progress in Satisfiability Checking for Difference Logic.

Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert

Proceedings of the Formal Techniques, 2004

2003

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert

Proceedings of the 2003 Conference on Languages, 2003

ELSE: A New Symbolic State Generator for Timed Automata.

Sarah Zennou, Manuel Yguel, Peter Niebert

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Adding Symmetry Reduction to Uppaal.

Martijn Hendriks, Gerd Behrmann, Kim Guldstrand Larsen, Peter Niebert, Frits W. Vaandrager

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Black Box Unfolding with Local First Search.

Sébastien Bornot, Rémi Morin, Peter Niebert, Sarah Zennou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Dynamic Bounds and Transition Merging for Local First Search.

Denis Lugiez, Peter Niebert, Sarah Zennou

Proceedings of the Model Checking of Software, 2002

Verification of Timed Automata via Satisfiability Checking.

Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Computing Efficient Operation Schemes for Chemical Plants in Multi-batch Mode.

Peter Niebert, Sergio Yovine

Eur. J. Control, 2001

Local First Search - A New Paradigm for Partial Order Reductions.

Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez

Proceedings of the CONCUR 2001, 2001

2000

Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.

Peter Niebert, Sergio Yovine

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Model Checking Logics for Communicating Sequential Agents.

Michaela Huhn, Peter Niebert, Frank Wallner

Proceedings of the Foundations of Software Science and Computation Structure, 1999

1998

A temporal logic for the specification and verification of distributed behaviour.

Peter Niebert

PhD thesis, 1998

Verification Based on Local States.

Michaela Huhn, Peter Niebert, Frank Wallner

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Partial Order Reductions for Bisimulation Checking.

Michaela Huhn, Peter Niebert, Heike Wehrheim

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

A Process Algebra Semantics for MSC Including Conditions.

Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

1997

A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints.

Peter Niebert, Barbara Sprick

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996

Towards Automata for Branching Time and Partial Order.

Michaela Huhn, Peter Niebert

Proceedings of the CONCUR '96, 1996

1995

A v-Calculus with Local Views for Systems of Sequential Agents.

Peter Niebert

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995