Peter Niebert - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 31 from 31

2018

Balanced Connected Partitioning of Unweighted Grid GraphsCedric Berenger, Peter Niebert, Kévin Perrot. mfcs 2018: [doi]

2014

Cellular ProgrammingPeter Niebert, Mathieu Caralp. tpnc 2014: 11-22 [doi]

2011

A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid SystemsJanusz Malinowski, Peter Niebert, Pierre-Alain Reynier. ATVA 2011: 198-212 [doi]

2010

SAT Based Bounded Model Checking with Partial Order Semantics for Timed AutomataJanusz Malinowski, Peter Niebert. TACAS 2010: 405-419 [doi]

2009

Efficient model checking for LTL with partial order snapshotsPeter Niebert, Doron Peled. TCS, 410(42):4180-4189, 2009. [doi]

2008

Discriminative Model CheckingPeter Niebert, Doron Peled, Amir Pnueli. cav 2008: 504-516 [doi]

2006

2005

A partial order semantics approach to the clock explosion problem of timed automataDenis Lugiez, Peter Niebert, Sarah Zennou. TCS, 345(1):27-59, 2005. [doi]

2004

Partial Order Reduction on Concurrent Probabilistic ProgramsPedro R. D Argenio, Peter Niebert. qest 2004: 240-249 [doi]

Some Progress in Satisfiability Checking for Difference LogicScott Cotton, Eugene Asarin, Oded Maler, Peter Niebert. formats 2004: 263-276 [doi]

A Partial Order Semantics Approach to the Clock Explosion Problem of Timed AutomataDenis Lugiez, Peter Niebert, Sarah Zennou. TACAS 2004: 296-311 [doi]

2003

2002

2001

Local First Search - A New Paradigm for Partial Order ReductionsPeter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez. concur 2001: 396-410 [doi]

Computing Efficient Operation Schemes for Chemical Plants in Multi-batch ModePeter Niebert, Sergio Yovine. ejcon, 7(4):440-454, 2001. [doi]

2000

Computing Optimal Operation Schemes for Chemical Plants in Multi-batch ModePeter Niebert, Sergio Yovine. hybrid 2000: 338-351 [doi]

1999

Model Checking Logics for Communicating Sequential AgentsMichaela Huhn, Peter Niebert, Frank Wallner. fossacs 1999: 227-242

1998

A Process Algebra Semantics for MSC Including ConditionsThomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim. fbt 1998: 185-196

Verification Based on Local StatesMichaela Huhn, Peter Niebert, Frank Wallner. TACAS 1998: 36-51 [doi]

Partial Order Reductions for Bisimulation CheckingMichaela Huhn, Peter Niebert, Heike Wehrheim. fsttcs 1998: 271-282

A temporal logic for the specification and verification of distributed behaviourPeter Niebert. PhD thesis, University of Hildesheim, Germany, 1998. [doi]

1997

A Tableau Proof System for a Mazurkiewicz Trace Logic with FixpointsPeter Niebert, Barbara Sprick. tableaux 1997: 291-306

1996

Towards Automata for Branching Time and Partial OrderMichaela Huhn, Peter Niebert. concur 1996: 611-626

1995

A v-Calculus with Local Views for Systems of Sequential AgentsPeter Niebert. mfcs 1995: 563-573

Sign in or sign up to see more results.

runs on WebDSL