Elena M. Bortnik

According to our database, Elena M. Bortnik authored at least 5 papers between 2005 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Solving scheduling problems by untimed model checking.

Anton Wijs, Jaco van de Pol, Elena M. Bortnik

Int. J. Softw. Tools Technol. Transf., 2009

2008

Model-based system analysis using Chi and Uppaal: An industrial case study.

N. C. W. M. Braspenning, Elena M. Bortnik, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Comput. Ind., 2008

2005

Analyzing a <i>chi</i> model of a turntable system using Spin, CADP and Uppaal.

Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, Joanna M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan J. Fokkink, Jacobus E. Rooda

J. Log. Algebraic Methods Program., 2005

Verification of timed chi models using uppaal.

Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

Proceedings of the ICINCO 2005, 2005

Solving scheduling problems by untimed model checking: the clinical chemical analyser case study.

Anton Wijs, Jaco van de Pol, Elena M. Bortnik

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005