Travelled to:1 × Greece
1 × Sweden
1 × The Netherlands
1 × United Kingdom
2 × France
3 × USA
Collaborated with:B.Steffen ∅ O.Niese M.Grabowski A.Hagerer W.Damm B.Josko T.Peikenkamp I.Stierand T.Margaria-Steffen H.Ide
Talks about:model (6) process (3) check (3) base (3) system (2) specif (2) test (2) hoar (2) architectur (1) construct (1)
Person: Hardi Hungar
DBLP: Hungar:Hardi
Facilitated 1 volumes:
PracticalTrackPrCoContributed to:
2011
2003
2003
200219941993
1993
19911988Wrote 10 papers:
- DATE-2011-DammHJPS #architecture #component #contract #design #integration #specification #testing #using
- Using contract-based component specifications for virtual integration testing and architecture design (WD, HH, BJ, TP, IS), pp. 1023–1028.
- CAV-2003-HungarNS #automaton #learning #optimisation
- Domain-Specific Optimization in Automata Learning (HH, ON, BS), pp. 315–327.
- VMCAI-2003-SteffenH #behaviour
- Behavior-Based Model Construction (BS, HH), pp. 5–19.
- FASE-2002-HagererHMNSI #modelling #testing
- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems (AH, HH, TMS, ON, BS, HDI), pp. 336–340.
- FASE-2002-HagererHNS #generative
- Model Generation by Moderated Regular Extrapolation (AH, HH, ON, BS), pp. 80–95.
- CAV-1994-Hungar #metaprogramming #model checking #process
- Model Checking of macro Processes (HH), pp. 169–181.
- CAV-1993-Hungar #model checking #parallel #process #proving #theorem proving #verification
- Combining Model Checking and Theorem Proving to Verify Parallel Processes (HH), pp. 154–165.
- ICALP-1993-HungarS #model checking #process
- Local Model Checking for Context-Free Processes (HH, BS), pp. 593–605.
- LICS-1991-Hungar #bound #complexity #hoare #proving
- Complexity Bounds of Hoare-style Proof Systems (HH), pp. 120–126.
- LICS-1988-GrabowskiH #effectiveness #hoare #logic #on the
- On the Existence of Effective Hoare Logics (MG, HH), pp. 428–435.