EEMCS

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

EEMCS EPrints Service


Author: Mostowski, W.I.
Home Policy Brochure Browse Search User Area Contact Help

2016

Mostowski, W.I. (2016) Dynamic Frames Based Verification Method for Concurrent Java Programs. In: Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2015. Revised Selected Papers, 18-19 Jul 2015, San Francisco, CA, U.S.A.. pp. 124-141. Lecture Notes in Computer Science 9593. Springer International Publishing Switzerland. ISSN 0302-9743 ISBN 978-3-319-29612-8

2015

Huisman, M. and Mostowski, W.I. (2015) A Symbolic Approach to Permission Accounting for Concurrent Reasoning. In: Proceedings of the 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015, 29 Jun - 02 Jul 2015, Limassol, Cyprus. pp. 165-174. IEEE Computer Society. ISBN 978-1-4673-7148-3
Mostowski, W.I. and Ulbrich, M. (2015) Dynamic Dispatch for Method Contracts through Abstract Predicates. In: Proceedings of the 14th International Conference on Modularity (MODULARITY 2015), 16-19 Mar 2015, Fort Collins, CO, USA. pp. 109-116. MODULARITY 2015. ACM. ISBN 978-1-4503-3249-1

2014

Ahrendt, W. and Beckert, B. and Bruns, D. and Bubel, R. and Gladisch, C. and Grebing, S. and Hähnle, R. and Hentschel, M. and Herda, M. and Klebanov, V. and Mostowski, W.I. and Scheben, C. and Schmitt, P.H. and Ulbrich, M. (2014) The KeY platform for verification and analysis of Java programs. In: Proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, Revised Selected Papers, 17-18 Jul 2014, Vienna, Austria. pp. 55-71. Lecture Notes In Computer Science 8471. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-12153-6
Amighi, A. and Blom, S.C.C. and Darabi, S. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Verification of concurrent systems with VerCors. In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Lecture Notes in Computer Science 8483. Springer Verlag, Berlin, pp. 172-216. ISSN 0302-9743 ISBN 978-3-319-07316-3
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Formal Specifications for Java's Synchronisation Classes. In: Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014), 12-14 Feb 2014, Torino, Italy. pp. 725-733. IEEE Conference Publications. IEEE Computer Society. ISSN 1066-6192

2013

Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2013) Formal specifications for Java’s synchronisation classes. Technical Report TR-CTIT-13-18, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Bruns, D. and Mostowski, W.I. and Ulbrich, M. (2013) Implementation-level verification of algorithms with KeY. International journal on software tools for technology transfer, 17 (6). pp. 729-744. ISSN 1433-2779
Mostowski, W.I. (2013) A case study in formal verification using multiple explicit heaps. In: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, 3-6 June 2013, Florence, Italy. pp. 20-34. Lecture Notes in Computer Science 7892. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38591-9

2012

Ahrendt, W. and Mostowski, W.I. and Paganelli, G. (2012) Real-time Java API Specifications for High Coverage Test Generation. In: Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), 24-26 Oct 2012, Copenhagen, Denmark. pp. 145-154. ACM. ISBN 978-1-4503-1688-0
Bormer, T. and Brockschmidt, M. and Distefano, D. and Ernst, G. and Filliatre, J.-C. and Grigore, R. and Huisman, M. and Klebanov, V. and Marche, C. and Monahan, R. and Mostowski, W.I. and Poiikarpova, N. and Scheben, C. and Schellhorn, G. and Tofan, B. and Tschannen, J. and Ulbrich, M. (2012) The COST IC0701 Verification Competition 2011. In: International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, 5-7 Oct 2011, Turin, Italy. pp. 3-21. Lecture Notes in Computer Science 7421. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-31761-3