Travelled to:1 × Austria
1 × Cyprus
1 × France
1 × Portugal
1 × Spain
1 × The Netherlands
3 × USA
Collaborated with:D.Peled M.Huhn F.Wallner S.Zennou J.Malinowski A.Pnueli D.Lugiez O.Maler M.Mahfoudh E.Asarin S.Bornot R.Morin P.Caspi A.Curic A.Maignan C.Sofronis S.Tripakis
Talks about:model (4) check (4) partial (3) order (3) automata (2) approach (2) semant (2) logic (2) local (2) time (2)
Person: Peter Niebert
DBLP: Niebert:Peter
Contributed to:
2010
200820062004
2003
20022002
19991998Wrote 9 papers:
- TACAS-2010-MalinowskiN #automaton #bound #model checking #partial order #satisfiability #semantics
- SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata (JM, PN), pp. 405–419.
- CAV-2008-NiebertPP #model checking
- Discriminative Model Checking (PN, DP, AP), pp. 504–516.
- TACAS-2006-NiebertP #ltl #model checking #partial order #performance
- Efficient Model Checking for LTL with Partial Order Snapshots (PN, DP), pp. 272–286.
- TACAS-2004-LugiezNZ #approach #automaton #explosion #partial order #problem #semantics
- A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata (DL, PN, SZ), pp. 296–311.
- LCTES-2003-CaspiCMSTN #approach #distributed #embedded
- From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.
- SAT-2002-MalerMNA #difference #logic #satisfiability
- A satisfiability checker for difference logic (OM, MM, PN, EA), p. 27.
- TACAS-2002-BornotMNZ #black box
- Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.
- FoSSaCS-1999-HuhnNW #communication #logic #model checking
- Model Checking Logics for Communicating Sequential Agents (MH, PN, FW), pp. 227–242.
- TACAS-1998-HuhnNW #verification
- Verification Based on Local States (MH, PN, FW), pp. 36–51.