Wojciech Mostowski's Publications - Revision history

Ceres at 09:50, 11 August 2022

2022-08-11T09:50:11Z

Ceres at 09:43, 11 August 2022

2022-08-11T09:43:47Z

Ceres at 09:37, 11 August 2022

2022-08-11T09:37:59Z

Ceres at 09:14, 11 August 2022

2022-08-11T09:14:40Z

Ceres at 09:08, 10 August 2022

2022-08-10T09:08:00Z

Ceres at 09:07, 10 August 2022

2022-08-10T09:07:08Z

Ceres at 13:50, 15 December 2020

2020-12-15T13:50:36Z

Ceres at 13:49, 15 December 2020

2020-12-15T13:49:57Z

Ceres at 13:48, 15 December 2020

2020-12-15T13:48:51Z

Ceres at 08:42, 4 April 2019

2019-04-04T08:42:40Z

@@ Line 36: / Line 36: @@
 == Conference and Workshop Papers ==
-# 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&ndash;381, &copy;&nbsp;Springer 2022. &#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022b|BibTeX]]&#93;
+# 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&ndash;381, &copy;&nbsp;Springer 2022. &#91;[https://link.springer.com/content/pdf/10.1007/978-3-031-08166-8_17.pdf PDF]&#93; &#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022b|BibTeX]]&#93;
 # 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&ndash;89, &copy;&nbsp;Springer 2022. &#91;[[media:Mostowski_ictss2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]&#93;
 # 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&ndash;221 &#91;[[media:Mostowski_roman2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2021|BibTeX]]&#93;

@@ Line 36: / Line 36: @@
 == Conference and Workshop Papers ==
 # 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&ndash;89, &copy;&nbsp;Springer 2022. &#91;[[media:Mostowski_ictss2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]&#93;
 # 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&ndash;221 &#91;[[media:Mostowski_roman2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2021|BibTeX]]&#93;

@@ Line 38: / Line 38: @@
 # 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&ndash;89, &copy;&nbsp;Springer 2022. &#91;[[media:Mostowski_ictss2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]&#93;
 # 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&ndash;221 &#91;[[media:Mostowski_roman2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2021|BibTeX]]&#93;
 # 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&ndash;195, &copy;&nbsp;Springer 2019. &#91;[https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_12.pdf PDF]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2019VerifyThis|BibTeX]]&#93;
 # 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&ndash;100, &copy;&nbsp;Springer 2018. &#91;[[media:Mostowski_Dagstuhl_2018.pdf|PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#AichernigMostowskiMousaviTapplerTaromirad2018|BibTeX]]&#93;

@@ Line 36: / Line 36: @@
 == Conference and Workshop Papers ==
-# Sina Entekhabi, Wojciech Mostowski, 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&ndash;89, &copy;&nbsp;Springer 2022. &#91;[[media:Mostowski_ictss2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]&#93;
+# 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&ndash;89, &copy;&nbsp;Springer 2022. &#91;[[media:Mostowski_ictss2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]&#93;
 # 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&ndash;195, &copy;&nbsp;Springer 2019. &#91;[https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_12.pdf PDF]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2019VerifyThis|BibTeX]]&#93;
 # 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&ndash;100, &copy;&nbsp;Springer 2018. &#91;[[media:Mostowski_Dagstuhl_2018.pdf|PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#AichernigMostowskiMousaviTapplerTaromirad2018|BibTeX]]&#93;

@@ Line 36: / Line 36: @@
 == Conference and Workshop Papers ==
-# Sina Entekhabi, Wojciech Mostowski, 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&ndash;89, &copy;&nbsp;Springer 2022. &#91;[[media:Mostowski_ictss2021.pdf|Submission&nbsp;PDF]]&#93;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]&#93;
+# Sina Entekhabi, Wojciech Mostowski, 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&ndash;89, &copy;&nbsp;Springer 2022. &#91;[[media:Mostowski_ictss2021.pdf|Submission&nbsp;PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2022|BibTeX]]&#93;
 # 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&ndash;195, &copy;&nbsp;Springer 2019. &#91;[https://link.springer.com/content/pdf/10.1007%2F978-3-030-17502-3_12.pdf PDF]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2019VerifyThis|BibTeX]]&#93;
 # 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&ndash;100, &copy;&nbsp;Springer 2018. &#91;[[media:Mostowski_Dagstuhl_2018.pdf|PDF]]&#93;&nbsp;&#91;[[Wojciech Mostowski's BibTeX Entries#AichernigMostowskiMousaviTapplerTaromirad2018|BibTeX]]&#93;

@@ Line 7: / Line 7: @@
 == 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&ndash;203, &copy;&nbsp;Springer International Publishing, 2020. &#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2020|BibTeX]]&#93;
+# 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&ndash;203, &copy;&nbsp;Springer International Publishing, 2020. &#91;[[Wojciech Mostowski's BibTeX Entries#Mostowski2020|BibTeX]]&#93;
 <!---->
 # 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 &ndash; The KeY Book''], LNCS 10001, pages 289&ndash;351, &copy;&nbsp;Springer, 2017. &#91;[[Wojciech Mostowski's BibTeX Entries#KeYBook2-Chapter9|BibTeX]]&#93;