Travelled to:
1 × France
1 × Italy
2 × USA
Collaborated with:
H.Liu K.Raiend A.Kull J.P.Ernits J.Berthing P.Boström K.Sere L.Tsiopoulos
Talks about:
model (3) system (2) refin (2) test (2) base (2) nondeterminist (1) synthesi (1) respons (1) reactiv (1) generat (1)
Person: Jüri Vain
DBLP: Vain:J=uuml=ri
Contributed to:
Wrote 4 papers:
- ICEIS-v1-2013-LiuV #modelling #simulation
- An Agent-based Modeling for Price-responsive Demand Simulation (HL, JV), pp. 436–443.
- IFM-2012-BerthingBSTV #development
- Refinement-Based Development of Timed Systems (JB, PB, KS, LT, JV), pp. 69–83.
- ASE-2007-VainRKE #nondeterminism #synthesis
- Synthesis of test purpose directed reactive planning tester for nondeterministic systems (JV, KR, AK, JPE), pp. 363–372.
- FATES-RV-2006-ErnitsKRV #generative #model checking #modelling #refinement #testing #using
- Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement (JPE, AK, KR, JV), pp. 85–99.