Volker Stolz
发表
Fernando Macías,
Adrian Rutle,
Volker Stolz,
2016,
MULTI@MoDELS.
Volker Stolz,
Eric Bodden,
Steven Arzt,
2013,
Software Engineering.
Cyrille Artho,
Volker Stolz,
Lars Michael Kristensen,
2019,
IFM.
Volker Stolz,
Lars Michael Kristensen,
Faustin Ahishakiye,
2020,
VECoS.
Volker Stolz,
Baltasar Trancón y Widemann,
2014,
Software Engineering.
Michael Eichberg,
Volker Stolz,
Eric Bodden,
2016
.
Volker Stolz,
Frank Huch,
V. Stolz,
2003
.
Volker Stolz,
Jinyun Xue,
2014,
Electron. Notes Theor. Comput. Sci..
Fernando Macías,
Adrian Rutle,
Volker Stolz,
2018,
Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..
Volker Stolz,
Jianhua Zhao,
2009,
Electron. Notes Theor. Comput. Sci..
Volker Stolz,
Xiaoshan Li,
Dan Li,
2011,
FACS.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2012,
J. Log. Algebraic Methods Program..
Volker Stolz,
Xiaoshan Li,
Dan Li,
2011,
TTC.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2014,
2014 Theoretical Aspects of Software Engineering Conference.
Volker Stolz,
V. Stolz,
2010,
Innovations in Systems and Software Engineering.
Volker Stolz,
Frank Huch,
V. Stolz,
2005,
RV@ETAPS.
Volker Stolz,
Ka I Pun,
Dan Li,
2018,
NIK.
Volker Stolz,
Erlend Kristiansen,
2014,
NIK.
Volker Stolz,
Ka I Pun,
Rohit Gheyi,
2020,
ISoLA.
Volker Stolz,
Malte Schmitz,
Daniel Thoma,
2018,
NWPT'18.
Gustavo Carvalho,
Volker Stolz,
V. Stolz,
2020,
SBMF.
Volker Stolz,
V. Stolz,
2007,
RV.
Volker Stolz,
Xiaoshan Li,
Dan Li,
2012,
SOEN.
Fernando Macías,
Adrian Rutle,
Volker Stolz,
2018,
MODELS Workshops.
Volker Stolz,
Martin Leucker,
Dan Li,
2017,
RV-CuBES.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2016,
J. Log. Algebraic Methods Program..
Volker Stolz,
Eric Bodden,
2006,
SC@ETAPS.
Volker Stolz,
Bin Lei,
Charles Morisset,
2010,
Sci. Comput. Program..
Volker Stolz,
Eric Bodden,
Ka I Pun,
2016,
ISoLA.
Hein Meling,
Rui Wang,
Volker Stolz,
2017,
PNSE @ Petri Nets.
Volker Stolz,
Geguang Pu,
2008,
Electron. Notes Theor. Comput. Sci..
Volker Stolz,
Min Zhang,
2011,
Electron. Notes Theor. Comput. Sci..
Volker Stolz,
Frank Huch,
2001
.
Volker Stolz,
Martin Steffen,
Stian Valle,
2017
.
Volker Stolz,
Kritikos Kyriakos,
Mann Zoltán Ádám,
2017
.
Volker Stolz,
Eric Bodden,
Ka I Pun,
2012,
ISoLA.
Sun Meng,
Volker Stolz,
Marcel Kyas,
2011
.
Ivan Lanese,
Mario Bravetti,
Volker Stolz,
2014,
ISoLA.
Zhenbang Chen,
Anders P. Ravn,
Volker Stolz,
2009,
Sci. Comput. Program..
Volker Stolz,
Ka I Pun,
Martin Steffen,
2014,
SEFM.
Volker Stolz,
Einar Broch Johnsen,
Rudolf Schlatte,
2014,
ISoLA.
Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model
Hein Meling,
Rui Wang,
Volker Stolz,
2019,
J. Log. Algebraic Methods Program..
Yang Liu,
Zhenbang Chen,
Anders P. Ravn,
2007,
CoCoME.
Volker Stolz,
Lars Michael Kristensen,
Birgit Rognebakke Krogstie,
2016,
NIK.
Volker Stolz,
Martin Schäf,
Cristiano Bertolini,
2011,
FHIES.
Zhenbang Chen,
Volker Stolz,
Xiaoshan Li,
2007,
Formal Methods and Hybrid Real-Time Systems.
Elisa Bertino,
Volker Stolz,
Adenilso Simao,
2020,
ICTAC.
Volker Stolz,
Frank Huch,
2002
.
Cyrille Artho,
Volker Stolz,
Lars Michael Kristensen,
2020,
2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS).
Volker Stolz,
Lu Yang,
2008,
Electron. Notes Theor. Comput. Sci..
Volker Stolz,
Zhiming Liu,
2019
.
Volker Stolz,
Wei Ke,
Xiaoshan Li,
2011
.
César Sánchez,
Volker Stolz,
Christian Colombo,
2018,
RV.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2013,
FSEN.
Volker Stolz,
Wei Ke,
Xiaoshan Li,
2012,
Frontiers of Computer Science.
Volker Stolz,
2012,
Innovations in Systems and Software Engineering.
Zhenbang Chen,
Volker Stolz,
Charles Morisset,
2009,
FSEN.
Volker Stolz,
V. Stolz,
2007
.
Volker Stolz,
Anya Helene Bagge,
Anna Maria Eilertsen,
2016,
ISoLA.
Volker Stolz,
Xiaoshan Li,
Dan Li,
2011,
SOEN.
Volker Stolz,
Martin Steffen,
Daniel Schnetzer Fava,
2019,
J. Log. Algebraic Methods Program..
Benedikt Bollig,
Volker Stolz,
Carsten Kern,
2006,
TACAS.
Mirko Viroli,
Volker Stolz,
Ferruccio Damiani,
2018,
VORTEX@ECOOP/ISSTA.
Fernando Macías,
Adrian Rutle,
Volker Stolz,
2017,
MODELS.
Volker Stolz,
Klaus Havelund,
Martin Leucker,
2017,
Dagstuhl Reports.
Adrian Rutle,
Volker Stolz,
Torben Scheffel,
2020,
ArXiv.
Volker Stolz,
Martin Steffen,
Carl Martin Rosenberg,
2016,
RV.
Volker Stolz,
Xiaoshan Li,
Dan Li,
2013,
2013 22nd Australian Software Engineering Conference.
Volker Stolz,
Malte Schmitz,
Faustin Ahishakiye,
2019,
2019 International Symposium on Theoretical Aspects of Software Engineering (TASE).
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1
pdf
Florian Lorber,
César Sánchez,
Cyrille Artho,
2019,
ArXiv.
Volker Stolz,
Einar Broch Johnsen,
2010,
Electron. Notes Theor. Comput. Sci..
Rui Wang,
Fernando Macías,
Adrian Rutle,
2016
.
Volker Stolz,
Xiaoshan Li,
Dan Li,
2014,
Science China Information Sciences.
Volker Stolz,
Charles Morisset,
Zhiming Liu,
2009,
FSEN.
Volker Stolz,
Charles Morisset,
Zhiming Liu,
2008,
ISoLA.
Volker Stolz,
Ka I Pun,
Martin Steffen,
2014,
J. Log. Algebraic Methods Program..
Volker Stolz,
2010,
J. Log. Comput..
Zhenbang Chen,
Anders P. Ravn,
Volker Stolz,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Volker Stolz,
Martin Steffen,
Daniel Schnetzer Fava,
2018,
FM.
Volker Stolz,
Eric Bodden,
2006,
Electron. Notes Theor. Comput. Sci..
Volker Stolz,
Zoltán Ádám Mann,
2018
.
Ivan Lanese,
Mario Bravetti,
Volker Stolz,
2014,
Lecture Notes in Computer Science.
Hein Meling,
Rui Wang,
Volker Stolz,
2018,
Trans. Petri Nets Other Model. Concurr..
Volker Stolz,
Li Dan,
Xiaoshan Li,
2014,
TTC@STAF.
Rui Wang,
Volker Stolz,
Lars Michael Kristensen,
2018,
VECoS.
Volker Stolz,
Xiaoshan Li,
Dan Li,
2011,
TTC.
Volker Stolz,
Lars Michael Kristensen,
Faustin Ahishakiye,
2021,
SETTA.
Mirko Viroli,
Volker Stolz,
Ferruccio Damiani,
2021,
J. Syst. Softw..
Volker Stolz,
Ka I Pun,
Faustin Ahishakiye,
2021,
Formal Methods in Outer Space.
Volker Stolz,
Zhiming Liu,
Zhenbang Chen,
2008
.
Alexander K. Petrenko,
Bernhard K. Aichernig,
Tomasz Janowski,
2008
.
Volker Stolz,
Eric Bodden,
E. Bodden,
2006
.