EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Andova, S.
Home Policy Brochure Browse Search User Area Contact Help

2005

Andova, S. and Willemse, T.A.C. (2005) Branching Bisimulation for Probabilistic Systems: Characteristics and Decidability. Technical Report TR-CTIT-05-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2004

Andova, S. and Willemse, T.A.C. (2004) Verification of probabilistic behaviours. In: 1 st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World, 20 Nov 2003, Thessaloniki, Greece. pp. 84-99. SEERC. ISBN 960-87869-1-6

2003

Andova, S. and Hermanns, H. and Katoen, J.P. (2003) Discrete-time rewards model-checked. In: Formal Modelling and Analysis of Timed Systems (FORMATS 2003). pp. 88-104. Lecture Notes in Computer Science 2791. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-21671-1

2002

Andova, S. (2002) Probabilistic Process Algebra. PhD thesis, Eindhoven University of Technology.