Elena M. Bortnik

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Anton Wijs, Jaco van de Pol, Elena M. Bortnik
Solving scheduling problems by untimed model checking. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
N. C. W. M. Braspenning, Elena M. Bortnik, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Model-based system analysis using Chi and Uppaal: An industrial case study. Comput. Ind. 59 (1) (2008)
Elena M. Bortnik, D. A. van Beek, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda
Verification of timed chi models using uppaal. ICINCO (2005)
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
model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebraic Methods Program. 65 (2) (2005)
Anton Wijs, Jaco van de Pol, Elena M. Bortnik
Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. FMICS (2005)