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

EEMCS EPrints Service


Research Project: HaaST: Verification of Hard and Softly Timed Systems
 Home Policy Brochure Browse Search User Area Contact Help

2004

Katoen, J.P. and Bohnenkamp, H.C. and Hermanns, H. and Klaren, R. (2004) Embedded software analysis with MOTOR. In: Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Lecture Notes in Computer Science 3185. Springer Verlag, Bertinoro, Italy, pp. 268-293. ISBN 3-540-23068-8

2003

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589 *** ISI Impact 2,216 ***
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2003) A tool for model-checking Markov chains. Int. Journal on Software Tools for Technology Transfer, 4 (2). pp. 153-172. ISSN 1433-2779

2002

Hermanns, H. and Segala, R., ed. (2002) Process Algebra and Probabilistic Methods, Performance Modeling and Verification. Lecture Notes in Computer Science 2399. Springer-Verlag, Copenhagen, Denmark. ISSN 0302-9743 ISBN 3-540-43913-7
Baier, C. and Katoen, J.P. and Hermanns, H. and Haverkort, B.R.H.M. (2002) Simulation for continuous-time Markov chains. In: CONCUR 2002 - Concurrency Theory, 13th International Conference, August 20-23, 2002, Brno, Czech Republic. pp. 338-352. Lecture Notes in Computer Science 2421. Springer. ISBN 3-540-44043-7
Hermanns, H. (2002) Interactive Markov Chains and the Quest for Quantified Quality. Lecture Notes in Computer Science 2428. Springer-Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-44261-8
Hermanns, H. (2002) On Combining Functional Verification and Performance Evaluation Using CADP. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen, Denmark. pp. 410-429. Lecture Notes in Computer Science 2391. Springer-Verlag. ISBN 3-540-43928-5
Hermanns, H. and Herzog, U. and Katoen, J.P. (2002) Process algebra for performance evaluation. Theoretical Computer Science, 274 (1-2). pp. 43-87. ISSN 0304-3975 *** ISI Impact 0,838 ***

2001

Brinksma, H. and Hermanns, H. and Katoen, J.P., ed. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science 2090. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 3-540-42479-2
Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779
D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. and Klaren, R. (2001) Modelling stochastic timed systems. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 31-36. Technology Foundation STW. ISBN 90-73461-26-X
Hermanns, H. and Katoen, J.P. (2001) Performance evaluation:= (process algebra + model checking) x Markov chains. (Invited) In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark. pp. 59-81. Lecture Notes in Computer Science 2154. Springer. ISBN 3-540-42497-0
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2001) A model checker for performance and dependability properties. In: 2nd PROGRESS workshop on Embedded Systems, 18 Oct 2001, Veldhoven, The Netherlands. pp. 83-88. Technology Foundation STW. ISBN 90-73461-26-X
Katoen, J.P. and D'Argenio, P.R. (2001) General distributions in process algebra. In: Lectures on Formal Methods and Performance Analysis. Lecture notes in Computer Science 2090. Springer Verlag, London, pp. 375-428.
Katoen, J.P. and Kwiatkowska, M.Z. and Norman, G. and Parker, D.A. (2001) Faster and symbolic CTMC model checking. In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, September 12-14, 2001, Aachen, Germany. pp. 23-38. Lecture Notes in Computer Science 2165. Springer. ISSN 0302-9743 ISBN 3-540-42556-X
Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T. (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France. pp. 493-505. Lecture Notes in Computer Science. Springer Verlag. ISBN 3-540-42345-1
Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 220-235. Lecture Notes in Computer Science 2031. Springer. ISSN 0302-9743 ISBN 3-540-41865-2

2000

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154
D'Argenio, P.R. (2000) A compositional Translation of Stochastic Automata into Timed Automata. Technical Report TR-CTIT-00-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In: 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000, 16-18 October 2000, Nürnberg, Germany. pp. 228-237. IEEE Computer Society. ISBN 0769505430
Hermanns, H. and Herzog, U. and Klehmet, U. and Mertsiotakis, V. and Siegle, M. (2000) Compositional Performance Modelling with the TIPPtool. Performance Evaluation, 39 (1-4). pp. 5-35. ISSN 0166-5316 *** ISI Impact 1,168 ***
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M. (2000) Towards Model Checking Stochastic Process Algebra. In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany. pp. 420-439. Lecture Notes in Computer Science 1945. Springer Verlag. ISBN 3-540-41196-8
Sierra Abbate, L.R. and D'Argenio, P.R. and Echagüe, J.V. (2000) From Semantics to Spatial Distributions. In: LATIN 2000: Theoretical Informatics, 4th Latin American Symposium, April 10-14, 2000, Proceedings},, Punta del Este, Uruguay. pp. 427-436. Lecture Notes in Computer Science 1776. Springer Verlag. ISBN 3-540-67306-7

1999

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE, 12/01/1999 - 12/03/1999, Phoenix, AZ, USA. pp. 104-114. IEEE Computer Society. ISBN 0-7695-0475-2