Wojciech Mostowski

41 papers B 5C 7Journal 7Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Probabilistic energy profiler for statically typed JVM-based programming languages. CoRR Joel Nyholm, Wojciech Mostowski, Christoph Reichenbach
2024	J	`jnl`	Automated and Efficient Test-Generation for Grid-Based Multiagent Systems: Comparing Random Input Filtering versus Constraint Solving. ACM Trans. Softw. Eng. Methodol. Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi
2022	—	`conf`	Implications of Deductive Verification on Research Quality - Field Study. The Logic of Software. A Tasting Menu of Formal Methods Wojciech Mostowski
2021	C	`conf`	Locality-Based Test Selection for Autonomous Agents. ICTSS Sina Entekhabi, Wojciech Mostowski, Mohammad Reza Mousavi, Thomas Arts
2021	B	`conf`	The CAR Approach: Creative Applied Research Experiences for Master's Students in Autonomous Platooning. RO-MAN Galina Sidorenko, Wojciech Mostowski, Alexey V. Vinel, Jeanette Sjöberg, Martin Cooney
2020	—	`ch.`	From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java. 20 Years of KeY Wojciech Mostowski
2019	J	`jnl`	Model-based fault injection for testing gray-box systems. J. Log. Algebraic Methods Program. Wojciech Mostowski
2019	—	`conf`	VerifyThis - Verification Competition with a Human Factor. TACAS (3) Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
2018	—	`conf`	Model Learning and Model-Based Testing. Machine Learning for Dynamic Software Analysis Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, Masoumeh Taromirad
2018	J	`jnl`	Team Halmstad Approach to Cooperative Driving in the Grand Cooperative Driving Challenge 2016. IEEE Trans. Intell. Transp. Syst. Maytheewat Aramrattana, Jerome Detournay, Cristofer Englund, Viktor Frimodig, Oscar Uddman Jansson, Tony Larsson, Wojciech Mostowski, Victor Diez Rodriguez, Thomas Rosenstatter, Golam Shahanoor
2017	—	`conf`	Modelling of Autosar Libraries for Large Scale Testing. MARS Wojciech Mostowski, Thomas Arts, John Hughes
2016	J	`jnl`	Dynamic Dispatch for Method Contracts Through Abstract Predicates. LNCS Trans. Modul. Compos. Wojciech Mostowski, Mattias Ulbrich
2016	—	`ch.`	Modular Specification and Verification. Deductive Software Verification Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
2016	—	`ch.`	Verifying Java Card Programs. Deductive Software Verification Wojciech Mostowski
2015	C	`conf`	A Symbolic Approach to Permission Accounting for Concurrent Reasoning. ISPDC Marieke Huisman, Wojciech Mostowski
2015	—	`conf`	Dynamic Frames Based Verification Method for Concurrent Java Programs. VSTTE Wojciech Mostowski
2015	—	`conf`	Dynamic dispatch for method contracts through abstract predicates. MODULARITY Wojciech Mostowski, Mattias Ulbrich
2015	J	`jnl`	Implementation-level verification of algorithms with KeY. Int. J. Softw. Tools Technol. Transf. Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
2014	C	`conf`	Formal Specifications for Java's Synchronisation Classes. PDP Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
2014	—	`conf`	The KeY Platform for Verification and Analysis of Java Programs. VSTTE 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, Mattias Ulbrich
2014	—	`conf`	Verification of Concurrent Systems with VerCors. SFM Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
2013	—	`conf`	A Case Study in Formal Verification Using Multiple Explicit Heaps. FMOODS/FORTE Wojciech Mostowski
2012	—	`conf`	Real-time Java API specifications for high coverage test generation. JTRES Wolfgang Ahrendt, Wojciech Mostowski, Gabriele Paganelli
2011	C	`conf`	Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards. SecureComm Wojciech Mostowski, Pim Vullers
2011	—	`conf`	The COST IC0701 Verification Competition 2011. FoVeOOS 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, Mattias Ulbrich
2010	C	`conf`	Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. CARDIS Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers
2010	—	`conf`	Midlet Navigation Graphs in JML. SBMF Wojciech Mostowski, Erik Poll
2009	C	`conf`	Model-Based Testing of Electronic Passports. FMICS Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
2008	C	`conf`	Malicious Code on Java Card Smartcards: Attacks and Countermeasures. CARDIS Wojciech Mostowski, Erik Poll
2007	—	`ch.`	From Sequential Java to Java Card. The KeY Approach Wojciech Mostowski
2007	—	`conf`	Fully Verified Java Card API Reference Implementation. VERIFY Wojciech Mostowski
2007	—	`ch.`	The Demoney Case Study. The KeY Approach Wojciech Mostowski
2007	—	`ch.`	The KeY Syntax. The KeY Approach Wojciech Mostowski
2006	B	`conf`	Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. FM Wojciech Mostowski
2005	—	`—`	Formal Development of Safe and Secure Java Card Applets. Wojciech Mostowski
2005	B	`conf`	Formalisation and Verification of Java Card Security Properties in Dynamic Logic. FASE Wojciech Mostowski
2005	J	`jnl`	The KeY tool. Softw. Syst. Model. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt
2004	—	`conf`	Verification of Safety Properties in the Presence of Transactions. CASSIS Reiner Hähnle, Wojciech Mostowski
2003	B	`conf`	A Program Logic for Handling JAVA CARD's Transaction Mechanism. FASE Bernhard Beckert, Wojciech Mostowski
2003	—	`conf`	Specifying JAVA CARD API in OCL. OCL 2.0 @ UML Daniel Larsson, Wojciech Mostowski
2002	B	`conf`	The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt