EEMCS

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

EEMCS EPrints Service


Classification: FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
Home Policy Brochure Browse Search User Area Contact Help

2016

Huisman, M. and van de Pol, J.C. (2016) Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Science of computer programming, 128. pp. 1-1. ISSN 0167-6423 *** ISI Impact 0,828 ***

2015

Chaudhary, K.C. and Fehnker, A. and van de Pol, J.C. and Stoelinga, M.I.A. (2015) Modeling and Verification of the Bitcoin Protocol. In: Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015), 23 Nov 2015, Suva, Fiji. pp. 46-60. Electronic Proceedings in Theoretical Computer Science 196. Open Publishing Association. ISSN 2075-2180

2014

Huisman, M. and van de Pol, J.C. (2014) Preface. In: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), 24-26 Sep 2014, Enschede, The Netherlands. pp. 1-3. Electronic Communications of the EASST 70. European Association of Software Science and Technology. ISSN 1863-2122

2010

Mader, A.H. and Bohnenkamp, H.C. and Usenko, Y.S. and Jansen, D.N. and Hurink, J.L. and Hermanns, H. (2010) Synthesis and stochastic assessment of cost-optimal schedules. International journal on software tools for technology transfer, 12 (5). pp. 305-317. ISSN 1433-2779
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 18-20 Oct 2010, Amirandes, Heraclion, Crete. pp. 160-174. Lecture Notes in Computer Science 6416. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16560-3

2009

Wijs, A.J. and van de Pol, J.C. and Bortnik, E.M. (2009) Solving scheduling problems by untimed model checking. The clinical chemical analyser case study. International journal on software tools for technology transfer, 11 (5). pp. 375-392. ISSN 1433-2779

2008

Brinksma, H. and Hooman, J. (2008) Dependability for high-tech systems: an industry-as-laboratory approach. (Invited) In: Design, Automation and Test in Europe, 2008. DATE '08, 10-14 March 2008, Munich. pp. 1226-1231. IEEE Computer Society. ISBN 978-3-9810801-4-8

2007

Brim, L. and Haverkort, B.R.H.M. and Leucker, M. and van de Pol, J.C. (2007) Preface. In: Formal Methods: Applications and Technology, 26-31 Aug 2006, Bonn, Germany. V-VI. Lecture Notes in Computer Science 4346. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-70951-0
Brinksma, H. and Hooman, J. (2007) Dependability for high-tech systems: an industry-as-laboratory approach. Technical Report ICIS-R07030, Radboud University, Nijmegen. ISSN 1571-5221

2003

Ruys, T.C. and Brinksma, H. (2003) Managing the Verification Trajectory. International journal on software tools for technology transfer, 4 (2). pp. 246-259. ISSN 1433-2779

2002

de Vries, R.G. and Belinfante, A.F.E. and Feenstra, J. (2002) Automated Testing in Practice: The Highway Tolling System. In: Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV. pp. 219-234. IFIP Conference Proceedings 210. Kluwer Academic Publishers. ISBN 0-7923-7695-1

2001

Belinfante, A.F.E. and Feenstra, J. and Heerink, A.W. and de Vries, R.G. (2001) Specification based formal testing: the EasyLink case study. In: 2nd PROGRESS Workshop on Embedded Systems, October 18, 2000, Utrecht, the Netherlands. pp. 73-82. Technology Foundation STW. ISBN 90-73461-26-X
Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779
Ruys, T.C. (2001) Towards Effective Model Checking. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 01-34 ISBN 90-365-1564-5
Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (2001) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods. Formal Methods in System Design, 19 (2). pp. 195-215. ISSN 0925-9856 *** ISI Impact 1,132 ***

2000

Willemse, T.A.C. and Tretmans, G.J. and Klomp, A. (2000) A Case Study in Formal Methods: Specification and Validation of the OM/RR Protocol. In: Fifth Int. ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2000). pp. 331-344. GMD Report 91. GMD. ISSN 1435-2702

1999

Chaudron, M. and Tretmans, G.J. and Wijbrans, K.C.J. (1999) Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II. pp. 1511-1526. Lecture Notes in Computer Science 1709. Springer Verlag. ISBN 3-540-66588-9
Tretmans, G.J. and Wijbrans, K.C.J. and Chaudron, M. (1999) Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System -- Seven Myths of Formal Methods Revisited. In: Fourth Int. ERCIM Workshop on Formal Methodsfor Industrial Critical Systems (FMICS'99) -- Proceedings of the FLoC Workshop, 11-12 July 1999, Trento, Italy. pp. 225-237. Servizio Tecnografico Area di Ricerca del CNR. ISBN not assigned

1998

Geurts, W. and Wijbrans, K.C.J. and Tretmans, G.J. (1998) Testing and Formal Methods - BOS Project Case Study. In: EuroSTAR'98: 6th European Int. Conference on Software Testing, Analysis & Review, 30 Nov - 01 Dec 1998, Munich, Germany. pp. 215-229. Aimware. ISBN not assigned