BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Czech Republic
1 × Estonia
1 × France
1 × Italy
1 × Japan
1 × Turkey
1 × USA
Collaborated with:
H.P.d.León D.Longuet C.Jard G.Jourdan P.Baldan B.König S.Perchy C.Rueda F.D.Valencia G.v.Bochmann S.Abiteboul Z.Abrams T.Milo N.Bertrand E.Fabre S.Haddad L.Hélouët
Talks about:
system (3) test (3) diagnosi (2) automata (2) partial (2) conform (2) concurr (2) unfold (2) output (2) order (2)

Person: Stefan Haar

DBLP DBLP: Haar:Stefan

Contributed to:

PPDP 20152015
FoSSaCS 20142014
ICTSS 20132013
TAP 20122012
TestCom/FATES 20082008
TestCom/FATES 20072007
FoSSaCS 20062006
PODS 20052005

Wrote 8 papers:

PPDP-2015-HaarPRV #algebra #concurrent #logic
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic (SH, SP, CR, FDV), pp. 161–172.
FoSSaCS-2014-BertrandFHHH #probability
Active Diagnosis for Probabilistic Systems (NB, EF, SH, SH, LH), pp. 29–42.
ICTSS-2013-LeonHL #concurrent #consistency #testing
Unfolding-Based Test Selection for Concurrent Conformance (HPdL, SH, DL), pp. 98–113.
TAP-2012-LeonHL #consistency
Conformance Relations for Labeled Event Structures (HPdL, SH, DL), pp. 83–98.
TestCom-FATES-2008-BochmannHJJ #automaton #partial order #testing
Testing Systems Specified as Partial Order Input/Output Automata (GvB, SH, CJ, GVJ), pp. 169–183.
TestCom-FATES-2007-HaarJJ #automaton #partial order #testing
Testing Input/Output Partial Order Automata (SH, CJ, GVJ), pp. 171–185.
FoSSaCS-2006-BaldanHK #distributed #petri net
Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.
PODS-2005-AbiteboulAHM #datalog #exclamation
Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.

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.