BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Niebert:Peter

Contributed to:

TACAS 20102010
CAV 20082008
TACAS 20062006
TACAS 20042004
LCTES 20032003
SAT 20022002
TACAS 20022002
FoSSaCS 19991999
TACAS 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.