Difference between revisions of "Wojciech Mostowski's Publications"
From CERES
(16 intermediate revisions by one user not shown) | |||
Line 7: | Line 7: | ||
== Book Chapters == | == Book Chapters == | ||
+ | # Wojciech Mostowski. [https://link.springer.com/chapter/10.1007%2F978-3-030-64354-6_7 ''From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java''] in [https://link.springer.com/book/10.1007%2F978-3-030-64354-6 ''Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY''], LNCS 12345, pages 177–203, © Springer International Publishing, 2020. [[[Wojciech Mostowski's BibTeX Entries#Mostowski2020|BibTeX]]] | ||
+ | <!----> | ||
# Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß. [https://link.springer.com/chapter/10.1007/978-3-319-49812-6_9 ''Chapter 9. Modular Specification and Verification''] of [https://link.springer.com/book/10.1007%2F978-3-319-49812-6 ''Deductive Software Verification – The KeY Book''], LNCS 10001, pages 289–351, © Springer, 2017. [[[Wojciech Mostowski's BibTeX Entries#KeYBook2-Chapter9|BibTeX]]] | # Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß. [https://link.springer.com/chapter/10.1007/978-3-319-49812-6_9 ''Chapter 9. Modular Specification and Verification''] of [https://link.springer.com/book/10.1007%2F978-3-319-49812-6 ''Deductive Software Verification – The KeY Book''], LNCS 10001, pages 289–351, © Springer, 2017. [[[Wojciech Mostowski's BibTeX Entries#KeYBook2-Chapter9|BibTeX]]] | ||
<!----> | <!----> | ||
Line 23: | Line 25: | ||
== Journal Articles == | == Journal Articles == | ||
+ | # Wojciech Mostowski. [https://www.sciencedirect.com/science/article/pii/S2352220818300324?via%3Dihub ''Model-Based Fault Injection for Testing Gray-Box Systems''] Journal of Logical and Algebraic Methods in Programming, NWPT 2017 Special Issue, © Elsevier, 2018. [[[Wojciech Mostowski's BibTeX Entries#Mostowski2018|BibTeX]]] [[[media:Mostowski_NWPT2017_JLAMP.pdf|Preprint PDF]]] | ||
# Maytheewat Aramrattana, Jérôme Detournay, Cristofer Englund, Viktor Frimodig, Oscar Uddman Jansson, Tony Larsson, Wojciech Mostowski, Víctor Díez Rodríguez, Thomas Rosenstatter, Golam Shahanoor. [http://ieeexplore.ieee.org/document/8287023/ ''Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016.''] Transactions on Intelligent Transportation Systems, Special Issue on GCDC. © IEEE, 2017. [[[Wojciech Mostowski's BibTeX Entries#HalmstadGCDC2016|BibTeX]]] [[http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8287023 PDF]] [[https://www.youtube.com/watch?v=2IoVsAl2yTA YouTube]] | # Maytheewat Aramrattana, Jérôme Detournay, Cristofer Englund, Viktor Frimodig, Oscar Uddman Jansson, Tony Larsson, Wojciech Mostowski, Víctor Díez Rodríguez, Thomas Rosenstatter, Golam Shahanoor. [http://ieeexplore.ieee.org/document/8287023/ ''Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016.''] Transactions on Intelligent Transportation Systems, Special Issue on GCDC. © IEEE, 2017. [[[Wojciech Mostowski's BibTeX Entries#HalmstadGCDC2016|BibTeX]]] [[http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=8287023 PDF]] [[https://www.youtube.com/watch?v=2IoVsAl2yTA YouTube]] | ||
<!----> | <!----> | ||
Line 33: | Line 36: | ||
== Conference and Workshop Papers == | == Conference and Workshop Papers == | ||
− | # Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, and Masoumeh Taromirad. [https://link.springer.com/chapter/10.1007/978-3-319-96562-8_3 ''Model Learning and Model-Based Testing''] in [https://link.springer.com/book/10.1007/978-3-319-96562-8 Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Revised Papers], Dagstuhl Castle, Germany, April 2016. LNCS 11026, pages 74–100, © Springer 2018. [[[PDF]]] [[[Wojciech Mostowski's BibTeX Entries#AichernigMostowskiMousaviTapplerTaromirad2018|BibTeX]]] | + | # Wojciech Mostowski. [https://link.springer.com/chapter/10.1007/978-3-031-08166-8_17 ''Implications of Deductive Verification on Research Quality''] in [https://link.springer.com/book/10.1007/978-3-031-08166-8 ''The Logic of Software. A Tasting Menu of Formal Methods'']. LNCS 13360, pages 370–381, © Springer 2022. [[https://link.springer.com/content/pdf/10.1007/978-3-031-08166-8_17.pdf PDF]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2022b|BibTeX]]] |
+ | # Sina Entekhabi, Wojciech Mostowski, and Mohammad Reza Mousavi. [https://link.springer.com/chapter/10.1007/978-3-031-04673-5_6 ''Locality-Based Test Selection for Autonomous Agents''] in [https://link.springer.com/book/10.1007/978-3-031-04673-5 ''ICTSS 2021: Testing Software and Systems'']. LNCS 13045, pages 73–89, © Springer 2022. [[[media:Mostowski_ictss2021.pdf|Submission PDF]]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]] | ||
+ | # Galina Sidorenko, Wojciech Mostowski, Alexey Vinel, Jeanette Sjöberg, and Martin Cooney. [https://ieeexplore.ieee.org/document/9515560 ''The CAR Approach: Creative Applied Research Experiences for Master’s Students in Autonomous Platooning''] in [https://ieeexplore.ieee.org/xpl/conhome/9515344/proceeding ''30th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2021'']. IEEE, 2021, pages 214–221 [[[media:Mostowski_roman2021.pdf|Submission PDF]]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2021|BibTeX]]] | ||
+ | # Jennifer David, Wojciech Mostowski, Maytheewat Aramrattna, Yuantao Fan, Mahsa Varshosaz, Patrick Karlsson, Marcus Rodèn, Anders Bogga, Jakob Carlsèn, Emil Johansson, and Emil Andersson. [http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1367444&dswid=-1735 ''Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone''] in [https://wp.nyu.edu/workshopiros2019mav/ ''Challenges in Vision-based Drones Navigation''], 2019. [[http://www.diva-portal.org/smash/get/diva2:1367444/FULLTEXT01.pdf PDF]] | ||
+ | # Gidon Ernst, Marieke Huisman, Wojciech Mostowski, and Mattias Ulbrich. [https://link.springer.com/chapter/10.1007%2F978-3-030-17502-3_12 ''VerifyThis - Verification Competition with a Human Factor''] in [https://link.springer.com/book/10.1007/978-3-030-17502-3 Tools and Algorithms for the Construction and Analysis of Systems, Part III, 25 Years of TACAS: TOOLympics]. LNCS 11429, pages 176–195, © Springer 2019. [[https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_12.pdf PDF]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2019VerifyThis|BibTeX]]] | ||
+ | # Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, and Masoumeh Taromirad. [https://link.springer.com/chapter/10.1007/978-3-319-96562-8_3 ''Model Learning and Model-Based Testing''] in [https://link.springer.com/book/10.1007/978-3-319-96562-8 Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Revised Papers], Dagstuhl Castle, Germany, April 2016. LNCS 11026, pages 74–100, © Springer 2018. [[[media:Mostowski_Dagstuhl_2018.pdf|PDF]]] [[[Wojciech Mostowski's BibTeX Entries#AichernigMostowskiMousaviTapplerTaromirad2018|BibTeX]]] | ||
# Wojciech Mostowski, Thomas Arts, and John Hughes. [http://eptcs.web.cse.unsw.edu.au/paper.cgi?MARS2017.7 ''Modelling of Autosar Libraries for Large Scale Testing.''] Proceedings, [http://www.mars-workshop.org/mars2017/index.html 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017)], Uppsala, Sweden, April 2017, Volume 244 of EPTCS. [[[media:Mostowski_mars2017.pdf|PDF]]] [[[Wojciech Mostowski's BibTeX Entries#MostowskiArtsHughes2017|BibTeX]]] | # Wojciech Mostowski, Thomas Arts, and John Hughes. [http://eptcs.web.cse.unsw.edu.au/paper.cgi?MARS2017.7 ''Modelling of Autosar Libraries for Large Scale Testing.''] Proceedings, [http://www.mars-workshop.org/mars2017/index.html 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017)], Uppsala, Sweden, April 2017, Volume 244 of EPTCS. [[[media:Mostowski_mars2017.pdf|PDF]]] [[[Wojciech Mostowski's BibTeX Entries#MostowskiArtsHughes2017|BibTeX]]] | ||
<!----> | <!----> | ||
Line 76: | Line 84: | ||
# Engelbert Hubbers, Wojciech Mostowski, and Erik Poll. [[media:Mostowski_esmart2006.pdf|''Tearing Java Cards.'']] Proceedings, [http://www.strategiestm.com/conferences/esmart/06/index.htm e-Smart 2006], Sophia-Antipolis, France, September 2006. [[[Wojciech Mostowski's BibTeX Entries#HubbersMostowskiPoll2006|BibTeX]]] | # Engelbert Hubbers, Wojciech Mostowski, and Erik Poll. [[media:Mostowski_esmart2006.pdf|''Tearing Java Cards.'']] Proceedings, [http://www.strategiestm.com/conferences/esmart/06/index.htm e-Smart 2006], Sophia-Antipolis, France, September 2006. [[[Wojciech Mostowski's BibTeX Entries#HubbersMostowskiPoll2006|BibTeX]]] | ||
<!----> | <!----> | ||
− | # Wojciech Mostowski. [ | + | # Wojciech Mostowski. [https://link.springer.com/chapter/10.1007%2F11813040_30 ''Formal Reasoning about Non-Atomic Java Card Methods in Dynamic Logic.''] Proceedings, [http://link.springer.com/book/10.1007/11813040 Formal Methods (FM) 2006], Hamilton, Ontario, Canada, August 2006. LNCS 4085, pages 444–459, © Springer. [[[media:Mostowski_fm2006.pdf|Draft PDF]]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2006|BibTeX]]] |
<!----> | <!----> | ||
− | # Wojciech Mostowski. [ | + | # Wojciech Mostowski. [https://link.springer.com/chapter/10.1007/978-3-540-31984-9_27 ''Formalisation and Verification of Java Card Security Properties in Dynamic Logic.''] Proceedings, [http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3442 Fundamental Approaches to Software Engineering (FASE) Conference], Edinburgh, Scotland, April 2005. LNCS 3442, pages 357–371, © Springer. [[[media:Mostowski_fase2005.pdf|Draft PDF]]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2005|BibTeX]]] |
<!----> | <!----> | ||
− | # Reiner Hähnle and Wojciech Mostowski. [ | + | # Reiner Hähnle and Wojciech Mostowski. [https://link.springer.com/chapter/10.1007%2F978-3-540-30569-9_8 ''Verification of Safety Properties in the Presence of Transactions.''] Proceedings, [http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3362 Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04) Workshop], LNCS 3362, pages 151–171, 2005. © Springer. [[[media:Mostowski_cassis2004.pdf|Draft PDF]]] [[[Wojciech Mostowski's BibTeX Entries#HaehnleMostowski2004|BibTeX]]] |
<!----> | <!----> | ||
# Daniel Larsson and Wojciech Mostowski. [http://www.sciencedirect.com/science/article/pii/S1571066104051138 ''Specifying Java Card API in OCL.''] OCL 2.0 Workshop at UML 2003 Conference, San Francisco, U.S.A., October 21, 2003. ENTCS 102C, pages 3–19. © Elsevier, November 2004. [[[media:Mostowski_ocl2003.pdf|Draft PDF]]] [[[Wojciech Mostowski's BibTeX Entries#LarssonMostowski2003|BibTeX]]] | # Daniel Larsson and Wojciech Mostowski. [http://www.sciencedirect.com/science/article/pii/S1571066104051138 ''Specifying Java Card API in OCL.''] OCL 2.0 Workshop at UML 2003 Conference, San Francisco, U.S.A., October 21, 2003. ENTCS 102C, pages 3–19. © Elsevier, November 2004. [[[media:Mostowski_ocl2003.pdf|Draft PDF]]] [[[Wojciech Mostowski's BibTeX Entries#LarssonMostowski2003|BibTeX]]] | ||
<!----> | <!----> | ||
− | # Bernhard Beckert and Wojciech Mostowski. [ | + | # Bernhard Beckert and Wojciech Mostowski. [https://link.springer.com/chapter/10.1007%2F3-540-36578-8_18 ''A Program Logic for Handling Java Card's Transaction Mechanism.''] Proceedings, [http://springerlink.metapress.com/content/e0l6faexlqaw/?p=f018231c00084c7482a6cb014a970eda&pi=1841&hl=u Fundamental Approaches to Software Engineering (FASE) Conference], LNCS 2621, pages 246–260, Warsaw, Poland, April 2003. © Springer. [[[media:Mostowski_fase2003.pdf|Draft PDF]]] [[[Wojciech Mostowski's BibTeX Entries#BeckertMostowski2003|BibTeX]]] |
<!----> | <!----> | ||
− | # Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski and Peter H. Schmitt. [ | + | # Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski and Peter H. Schmitt. [https://link.springer.com/chapter/10.1007/3-540-45923-5_23 ''The KeY System: Integrating Object-Oriented Design and Formal Methods.''] Proceedings, [http://springerlink.metapress.com/content/e0l6faexlqaw/?p=f018231c00084c7482a6cb014a970eda&pi=1841&hl=u Fundamental Approaches to Software Engineering (FASE) Conference], LNCS 2306, pages 327–330, Grenoble, France, April 2002. © Springer. [[[media:Mostowski_key-fase2002.pdf|Draft PDF]]] [[[media:Mostowski_key-fase2002-appendix.pdf|Appendix PDF]]] [[[Wojciech Mostowski's BibTeX Entries#KeYFASE2002|BibTeX]]] |
<!----> | <!----> | ||
# Wojciech Mostowski. [[media:Mostowski_room2002.ps|''Rigorous development of Java Card applications.'']] Rigorous Object Oriented Methods Workshop, London, U.K., March 21, 2002. [[[media:Mostowski_room2002-updated.pdf|Updated PDF]]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2002|BibTeX]]] | # Wojciech Mostowski. [[media:Mostowski_room2002.ps|''Rigorous development of Java Card applications.'']] Rigorous Object Oriented Methods Workshop, London, U.K., March 21, 2002. [[[media:Mostowski_room2002-updated.pdf|Updated PDF]]] [[[Wojciech Mostowski's BibTeX Entries#Mostowski2002|BibTeX]]] |
Latest revision as of 10:50, 11 August 2022
[Back]
Complete List of BibTeX Entries
All publications are listed in reverse chronological order per section. The material available on this page is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by the author(s) and/or the copyright holder(s).
Contents
Book Chapters
- Wojciech Mostowski. From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java in Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY, LNCS 12345, pages 177–203, © Springer International Publishing, 2020. [BibTeX]
- Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß. Chapter 9. Modular Specification and Verification of Deductive Software Verification – The KeY Book, LNCS 10001, pages 289–351, © Springer, 2017. [BibTeX]
- Wojciech Mostowski. Chapter 10. Verifying Java Card Programs of Deductive Software Verification – The KeY Book, LNCS 10001, pages 353–380, © Springer, 2017. [BibTeX] [PDF]
- Wojciech Mostowski and Richard Bubel. Appendix B. KeY File Reference of Deductive Software Verification – The KeY Book, LNCS 10001, pages 631–665, © Springer, 2017. [BibTeX]
- Wojciech Mostowski. Chapter 9. From Sequential Java to Java Card of Verification of Object-Oriented Software: The KeY Approach, LNAI 4334, pages 375–405, © Springer, 2007. [BibTeX]
- Wojciech Mostowski. Chapter 14. The Demoney Case Study of Verification of Object-Oriented Software: The KeY Approach, LNAI 4334, pages 533–568, © Springer, 2007. [BibTeX]
- Wojciech Mostowski. Appendix B. The KeY Syntax of Verification of Object-Oriented Software: The KeY Approach, LNAI 4334, pages 599–626, © Springer, 2007. [BibTeX]
- Tomasz Janowski and Wojciech Mostowski. Chapter 13. Fail-Stop Components by Pattern Matching of Specification Case Studies in RAISE, pages 341–368, © Springer, 2002. [BibTeX]
Journal Articles
- Wojciech Mostowski. Model-Based Fault Injection for Testing Gray-Box Systems Journal of Logical and Algebraic Methods in Programming, NWPT 2017 Special Issue, © Elsevier, 2018. [BibTeX] [Preprint PDF]
- Maytheewat Aramrattana, Jérôme Detournay, Cristofer Englund, Viktor Frimodig, Oscar Uddman Jansson, Tony Larsson, Wojciech Mostowski, Víctor Díez Rodríguez, Thomas Rosenstatter, Golam Shahanoor. Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016. Transactions on Intelligent Transportation Systems, Special Issue on GCDC. © IEEE, 2017. [BibTeX] [PDF] [YouTube]
- Wojciech Mostowski and Mattias Ulbrich. Dynamic Dispatch for Method Contracts through Abstract Predicates. Transactions on Modularity and Composition I, pages 238–267. © Springer International Publishing, 2016. [BibTeX]
- Daniel Bruns, Wojciech Mostowski, and Mattias Ulbrich. Implementation-level Verification of Algorithms with KeY. International Journal on Software Tools for Technology Transfer, Volume 17, Issue 6, pages 729–744. © Springer, 2015. [BibTeX]
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager and Peter H. Schmitt. The KeY Tool. Software and Systems Modeling Journal, Volume 4, Number 1, pages 32–54. © Springer, 2005. [BibTeX]
Conference and Workshop Papers
- Wojciech Mostowski. Implications of Deductive Verification on Research Quality in The Logic of Software. A Tasting Menu of Formal Methods. LNCS 13360, pages 370–381, © Springer 2022. [PDF] [BibTeX]
- Sina Entekhabi, Wojciech Mostowski, and Mohammad Reza Mousavi. Locality-Based Test Selection for Autonomous Agents in ICTSS 2021: Testing Software and Systems. LNCS 13045, pages 73–89, © Springer 2022. [Submission PDF] [BibTeX]
- Galina Sidorenko, Wojciech Mostowski, Alexey Vinel, Jeanette Sjöberg, and Martin Cooney. The CAR Approach: Creative Applied Research Experiences for Master’s Students in Autonomous Platooning in 30th IEEE International Conference on Robot and Human Interactive Communication, RO-MAN 2021. IEEE, 2021, pages 214–221 [Submission PDF] [BibTeX]
- Jennifer David, Wojciech Mostowski, Maytheewat Aramrattna, Yuantao Fan, Mahsa Varshosaz, Patrick Karlsson, Marcus Rodèn, Anders Bogga, Jakob Carlsèn, Emil Johansson, and Emil Andersson. Design and Development of a Hexacopter for the Search and Rescue of a Lost Drone in Challenges in Vision-based Drones Navigation, 2019. [PDF]
- Gidon Ernst, Marieke Huisman, Wojciech Mostowski, and Mattias Ulbrich. VerifyThis - Verification Competition with a Human Factor in Tools and Algorithms for the Construction and Analysis of Systems, Part III, 25 Years of TACAS: TOOLympics. LNCS 11429, pages 176–195, © Springer 2019. [PDF] [BibTeX]
- Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, and Masoumeh Taromirad. Model Learning and Model-Based Testing in Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Revised Papers, Dagstuhl Castle, Germany, April 2016. LNCS 11026, pages 74–100, © Springer 2018. [PDF] [BibTeX]
- Wojciech Mostowski, Thomas Arts, and John Hughes. Modelling of Autosar Libraries for Large Scale Testing. Proceedings, 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, April 2017, Volume 244 of EPTCS. [PDF] [BibTeX]
- Sebastian Kunze, Wojciech Mostowski, Mohammad Reza Mousavi, and Mahsa Varshosaz. Generation of Failure Models through Automata Learning. Proceedings, Workshop on Automotive Systems/Software Architectures (WASA 2016), Venice, Italy, April 2016, © IEEE Computer Society. [Submission PDF] [BibTeX]
- Wojciech Mostowski. Dynamic Frames Based Verification Method for Concurrent Java Programs. Post-proceedings, 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015), San Francisco, U.S., July 2015. LNCS 9593, pages 1–18, © Springer 2016. [Submission PDF] [BibTeX]
- Marieke Huisman and Wojciech Mostowski. A Symbolic Approach to Permission Accounting for Concurrent Reasoning. Proceedings, 14th International Symposium on Parallel and Distributed Computing (ISPDC 2015), Limassol, Cyprus, June 2015, © IEEE Computer Society. [Submission PDF] [BibTeX]
- Wojciech Mostowski and Mattias Ulbrich. Dynamic Dispatch for Method Contracts through Abstract Predicates. Proceedings, International Conference on MODULARITY (MODULARITY'15). © ACM 2015, 978-1-4503-3249-1/15/03, pages 109–116. [BibTeX]
- Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich. The KeY Platform for Verification and Analysis of Java Programs. 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), Vienna, Austria, July 2014. LNCS 8471, pages 1–17, © Springer. [Draft PDF] [BibTeX]
- Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, and Marina Zaharieva-Stojanovski. Verification of Concurrent Systems with VerCors. 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models, Bertinoro, Italy, June 2014. LNCS 8483, pages 172–216, © Springer. [Draft PDF] [BibTeX]
- Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, and Marina Zaharieva-Stojanovski. Formal Specifications for Java's Synchronisation Classes. Proceedings, 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Torino, Italy, February 2014, pages 725–733, © IEEE Computer Society. [Submission PDF] [BibTeX]
- Wojciech Mostowski. A Case Study in Formal Verification using Multiple Explicit Heaps. Proceedings, 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS), Florence, Italy, June 2013. LNCS 7892, pages 20–34, © IFIP. [Draft PDF] [BibTeX]
- Wolfgang Ahrendt, Wojciech Mostowski, and Gabriele Paganelli. Real-time Java API Specifications for High Coverage Test Generation. Proceedings, The 10th International Workshop on Java Technologies for Real-time and Embedded Systems – JTRES '12. © ACM 2012, 978-1-4503-1688-0/12/10. [BibTeX]
- Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, and Mattias Ulbrich. The COST IC0701 Verification Competition 2011. Proceedings, International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Torino, Italy, October 2011. LNCS 7421, pages 3–21, © Springer. [Draft PDF] [BibTeX]
- Wojciech Mostowski and Pim Vullers. Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards. Proceedings, 7th International ICST Conference on Security and Privacy in Communication Networks (SecureComm 2011), London, U.K., September 2011. LNICST 96, pages 243–260, © Springer. [Draft PDF] [BibTeX]
- Wojciech Mostowski and Erik Poll. Midlet Navigation Graphs in JML. Post Proceedings, 13th Brazilian Symposium on Formal Methods (SBMF 2010), Natal, Rio Grande do Norte, Brazil, November 2010. LNCS 6527, pages 17–32, © Springer. Best Paper Award! [Draft PDF] [BibTeX]
- Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, and Pim Vullers. Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. Proceedings, Smart Card Research and Advanced Application Conference CARDIS 2010, Passau, Germany, April 2010. LNCS 6035, pages 207–222, © Springer. [Draft PDF] [BibTeX]
- Jip Hogenboom and Wojciech Mostowski. Full Memory Read Attack on a Java Card. Proceedings of 4th Benelux Workshop on Information and System Security, Louvain-la-Neuve, Belgium, November 2009. [BibTeX]
- Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, and Ronny Wichers Schreur. Model-Based Testing of Electronic Passports. Proceedings, FMICS 2009, Eindhoven, The Netherlands, November 2009. Poster presentation, LNCS 5825, pages 207–209, © Springer. [Draft PDF] [Poster] [BibTeX]
- Wojciech Mostowski and Erik Poll. Java Card Applet Firewall Exploration and Exploitation. Proceedings, e-Smart 2008, Sophia-Antipolis, France, September 2008. [Presentation] [BibTeX]
- Wojciech Mostowski and Erik Poll. Malicious Code on Java Card Smartcards: Attacks and Countermeasures. Proceedings, Smart Card Research and Advanced Application Conference CARDIS 2008, Egham, U.K., September 2008. LNCS 5189, pages 1–16, © Springer. [Draft PDF] [BibTeX]
- Henning Richter, Wojciech Mostowski, and Erik Poll. Fingerprinting Passports. NLUUG 2008 Spring Conference on Security, Ede, the Netherlands, May 2008. [BibTeX]
- Wojciech Mostowski. Fully Verified Java Card API Reference Implementation. Proceedings of the Verify 2007 Workshop (associated with CADE 2007), Bremen, Germany, July 2007, CEUR Workshop Proceedings. [Draft PDF] [BibTeX]
- Engelbert Hubbers, Wojciech Mostowski, and Erik Poll. Tearing Java Cards. Proceedings, e-Smart 2006, Sophia-Antipolis, France, September 2006. [BibTeX]
- Wojciech Mostowski. Formal Reasoning about Non-Atomic Java Card Methods in Dynamic Logic. Proceedings, Formal Methods (FM) 2006, Hamilton, Ontario, Canada, August 2006. LNCS 4085, pages 444–459, © Springer. [Draft PDF] [BibTeX]
- Wojciech Mostowski. Formalisation and Verification of Java Card Security Properties in Dynamic Logic. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, Edinburgh, Scotland, April 2005. LNCS 3442, pages 357–371, © Springer. [Draft PDF] [BibTeX]
- Reiner Hähnle and Wojciech Mostowski. Verification of Safety Properties in the Presence of Transactions. Proceedings, Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04) Workshop, LNCS 3362, pages 151–171, 2005. © Springer. [Draft PDF] [BibTeX]
- Daniel Larsson and Wojciech Mostowski. Specifying Java Card API in OCL. OCL 2.0 Workshop at UML 2003 Conference, San Francisco, U.S.A., October 21, 2003. ENTCS 102C, pages 3–19. © Elsevier, November 2004. [Draft PDF] [BibTeX]
- Bernhard Beckert and Wojciech Mostowski. A Program Logic for Handling Java Card's Transaction Mechanism. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, LNCS 2621, pages 246–260, Warsaw, Poland, April 2003. © Springer. [Draft PDF] [BibTeX]
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski and Peter H. Schmitt. The KeY System: Integrating Object-Oriented Design and Formal Methods. Proceedings, Fundamental Approaches to Software Engineering (FASE) Conference, LNCS 2306, pages 327–330, Grenoble, France, April 2002. © Springer. [Draft PDF] [Appendix PDF] [BibTeX]
- Wojciech Mostowski. Rigorous development of Java Card applications. Rigorous Object Oriented Methods Workshop, London, U.K., March 21, 2002. [Updated PDF] [BibTeX]
- Tomasz Janowski and Wojciech Mostowski. Fail-Stop Components by Pattern Matching. Formal Methods for Open Object-Based Distributed Systems Conference, Stanford, California, U.S.A., September 6–8, 2000. [BibTeX]
Posters
- Lejla Batina, Bart Jacobs, Wojciech Mostowski, Erik Poll, and Pim Vullers. Security and Privacy of Smartcard-based e-Identity, Poster presentation, STW.ICT Conference, Veldhoven, the Netherlands, November 2010. [BibTeX]
Thesis
- Wojciech Mostowski. Formal Development of Safe and Secure Java Card Applets. PhD Thesis, Technical Report 2D, Chalmers University of Technology, Department of Computer Science and Engineering, Göteborg, Sweden, February 2005. [BibTeX]
- Wojciech Mostowski. Towards Development of Safe and Secure Java Card Applets. Licentiate Thesis, Technical Report 16L, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, December 2002. [BibTeX]
Technical Reports
- Marieke Huisman, Rosemary Monahan, Wojciech Mostowski, Peter Müller, and Mattias Ulbrich. VerifyThis 2017: A Program Verification Competition. Karlsruhe Reports in Informatics 2017-10, Karlsruhe Institute of Technology, Germany, 2017. [BibTeX]
- Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, and Marina Zaharieva-Stojanovski. Formal Specifications for Java's Synchronisation Classes. Technical Report TR-CTIT-13-18, University of Twente, the Netherlands, September 2013. [BibTeX]
- Wojciech Mostowski and Erik Poll. Electronic Passports in a Nutshell. Technical Report ICIS-R10004, Radboud University Nijmegen, the Netherlands, June 2010. [BibTeX]
- Wojciech Mostowski and Erik Poll. Midlet Navigation Graphs in JML. Technical Report ICIS-R09004, Radboud University Nijmegen, the Netherlands, August 2009. [BibTeX]
- Wojciech Mostowski and Erik Poll. Testing the Java Card Applet Firewall. Technical Report ICIS-R07029, Radboud University Nijmegen, the Netherlands, December 2007. [BibTeX] [Erratum]
- Wojciech Mostowski, Jing Pan, Srikanth Akkiraju, Erik de Vink, Erik Poll, and Jerry den Hartog. A Comparison of Java Cards: State-of-Affairs 2006. Technical Report CSR 07-06, Technical University Eindhoven, the Netherlands, 2007. This technical report is only available on request. [BibTeX]
- Wojciech Mostowski. Formalisation and Verification of Java Card Security Properties in Dynamic Logic. Technical Report no. 2004-08, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, October 2004. [BibTeX]
- Wojciech Mostowski. Java Card Tools for Together Control Center. [BibTeX]
- Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager and Peter H. Schmitt. The KeY Tool. Technical Report no. 2003-05, Chalmers University of Technology, Computing Science Department, Göteborg, Sweden, 2003. [BibTeX]
[Back]