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: Haar:Stefan
Contributed to:
2015
2014
2013
2012
200820072006
2005Wrote 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.