S. Leue
发表
Stefan Fischer,
Stefan Leue,
S. Fischer,
1998,
Comput. Networks.
S. Leue,
P. Oechslin,
2016
.
Mohammad Reza Mousavi,
Georgiana Caltais,
Stefan Leue,
2016
.
Husain Aljazzar,
Stefan Leue,
S. Leue,
2006,
FORMATS.
Husain Aljazzar,
Stefan Leue,
S. Leue,
2007
.
Stefan Edelkamp,
Stefan Leue,
S. Edelkamp,
2001
.
S. Leue,
Wei Wei,
2005
.
M. Mousavi,
S. Leue,
Georgiana Caltais,
2016
.
Christian Schilling,
S. Leue,
Fabian Bauer-Marquart,
2021,
2106.01917.
S. Leue,
Gregor Gössler,
2019
.
D. Hogrefe,
K. Turner,
S. Leue,
1999
.
Stefan Edelkamp,
Willem Visser,
Stefan Leue,
2007,
Directed Model Checking.
Christian Schilling,
S. Leue,
Fabian Bauer-Marquart,
2021,
SPIN.
S. Leue,
Thomas Wies,
Martin Kölbl,
2021,
Formal Methods in System Design.
S. Leue,
Martin Kölbl,
Alan Khoja,
2022,
SPIN.
Philippe Oechslin,
Stefan Leue,
S. Leue,
1994
.
A. Kirschning,
G. Jas,
U. Kunz,
2004
.
Stefan Leue,
Alina Bey,
S. Leue,
2011
.
J. Herscovici,
Marie-Laure Miramon,
Isabelle Tranchant,
2002,
Journal of combinatorial chemistry.
A. Kanazawa,
A. Greene,
W. Miao,
2001
.
A. Greene,
S. Leue,
Y. Génisson,
2000,
The Journal of organic chemistry.
D. Scherman,
J. Herscovici,
Christine Surcin,
2005,
Bioorganic & medicinal chemistry letters.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1995,
Formal Aspects of Computing.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1995
.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1994,
FORTE.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1993,
FORTE.
Dragan Bošnački,
Stefan Leue,
D. Bosnacki,
2002,
Lecture Notes in Computer Science.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1998,
TACAS.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1997,
FORTE.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1997
.
B. König,
S. Leue,
C. Horn,
2006
.
Wei Wei,
Stefan Leue,
Alin Stefanescu,
2008,
SPIN.
C. Wienbruch,
S. Leue,
A. Bey,
2012,
PloS one.
Mohammad Reza Mousavi,
Georgiana Caltais,
Stefan Leue,
2016,
CREST@ETAPS.
Dragan Bosnacki,
Alberto Lluch-Lafuente,
Stefan Leue,
2006,
International Journal on Software Tools for Technology Transfer.
Stefan Edelkamp,
Alberto Lluch-Lafuente,
Stefan Leue,
2004,
International Journal on Software Tools for Technology Transfer.
Stefan Leue,
Stefan Edelkamp,
Alberto Lluch-Lafuente,
2001,
Workshop on Software Model Checking @ CAV.
Stefan Edelkamp,
Alberto Lluch-Lafuente,
Stefan Leue,
2001,
SPIN '01.
Stefan Leue,
S. Leue,
2016,
Lecture Notes in Computer Science.
Wei Wei,
Stefan Leue,
S. Leue,
2013,
IEEE Transactions on Software Engineering.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2008
.
Matthew B. Dwyer,
Stefan Leue,
S. Leue,
2004,
International Journal on Software Tools for Technology Transfer.
Stefan Leue,
Stefan Edelkamp,
Alberto Lluch-Lafuente,
2001
.
Husain Aljazzar,
Stefan Leue,
S. Leue,
2011,
Artif. Intell..
Stefan Leue,
Moataz Kamel,
S. Leue,
2000,
International Journal on Software Tools for Technology Transfer.
Stefan Leue,
Moataz Kamel,
S. Leue,
1998
.
Stefan Fischer,
Stefan Leue,
S. Fischer,
1997,
Proceedings of the (19th) International Conference on Software Engineering.
Johan Cassel,
N. Kann,
S. Leue,
2002,
The Journal of organic chemistry.
Christian Schilling,
S. Leue,
Fabian Bauer-Marquart,
2022,
FM.
Christian Schilling,
Stefan Leue,
Fabian Bauer-Marquart,
2021
.
George S. Avrunin,
Lori A. Clarke,
Jianbin Tan,
2004,
SIGSOFT '04/FSE-12.
Matthias Kuntz,
Florian Leitner-Fischer,
Stefan Leue,
2011,
SAFECOMP.
Stefan Leue,
S. Leue,
1994
.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2011,
QAPL.
Christian Dax,
Felix Klaedtke,
Stefan Leue,
2009,
ATVA.
Stefan Edelkamp,
Alberto Lluch-Lafuente,
Stefan Leue,
2004,
International Journal on Software Tools for Technology Transfer.
Stefan Edelkamp,
Alberto Lluch-Lafuente,
Stefan Leue,
2002,
SPIN.
Stefan Leue,
S. Leue,
1995,
PSTV.
Husain Aljazzar,
Matthias Kuntz,
Florian Leitner-Fischer,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Wei Wei,
Stefan Leue,
S. Leue,
2009,
MBEES.
Florian Leitner-Fischer,
Stefan Leue,
Todor Georgiev,
2013,
MBEES.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
2008
.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1997,
TACAS.
Mariëlle Stoelinga,
Ralf Pinger,
P. Merino,
2018,
Lecture Notes in Computer Science.
S. Leue,
Martin Kölbl,
Alan Khoja,
2022,
ArXiv.
S. Leue,
Wei Wei,
2013,
IEEE Transactions on Software Engineering.
Wei Wei,
Stefan Leue,
S. Leue,
2006,
TACAS.
Florian Leitner-Fischer,
Georgiana Caltais,
Stefan Leue,
2016,
CyPhy.
S. Leue,
David Boetius,
2023,
Kalpa Publications in Computing.
Wei Wei,
Stefan Leue,
Richard Mayr,
2004,
TACAS.
Wei Wei,
Stefan Leue,
Richard Mayr,
2004,
SPIN.
S. Leue,
Wei Wei,
2013,
IEEE Transactions on Software Engineering.
Matthias Kuntz,
Christoph Scheben,
Wei Wei,
2009
.
Philippe Oechslin,
Stefan Leue,
S. Leue,
1996,
TNET.
Philippe Oechslin,
Stefan Leue,
S. Leue,
1994,
Proceedings of ICNP - 1994 International Conference on Network Protocols.
Philippe Oechslin,
Stefan Leue,
S. Leue,
1994,
Protocols for High-Speed Networks.
Georgiana Caltais,
Stefan Leue,
Sophie Linnea Guetlein,
2019,
CREST@ETAPS.
Florian Leitner-Fischer,
Husain Aljazzar,
Stefan Leue,
2011,
SPIN.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2011,
MBEES.
Robert Schmid,
Stefan Leue,
Martin Kölbl,
2020,
FORMATS.
S. Leue,
Thomas Wies,
Martin Kölbl,
2020,
CAV.
H. Ben-Abdallah,
S. Leue,
2004
.
Stefan Leue,
Lars Mehrmann,
Mohammad Rezai,
1998
.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1996
.
Hanêne Ben-Abdallah,
Stefan Leue,
H. Ben-Abdallah,
1996
.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1996
.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1996,
The Spin Verification System.
Tobias Sutter,
S. Leue,
David Boetius,
2023,
ICML.
S. Leue,
ChartsPeter B. Ladkin,
2004
.
Florian Leitner-Fischer,
Stefan Leue,
S. Leue,
2013,
SPIN.
Wei Wei,
Stefan Leue,
Alin Stefanescu,
2006,
CONCUR.
Stefan Leue,
Moataz Kamel,
S. Leue,
2000,
TACAS.
Gerard J. Holzmann,
Stefan Leue,
G. Holzmann,
1999,
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).
Stefan Leue,
Martin Kölbl,
S. Leue,
2018,
FMICS.
A. Kirschning,
G. Jas,
U. Kunz,
2004
.
Peter B. Ladkin,
Stefan Leue,
P. Ladkin,
1992,
FBT.
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization
pdf
Christian Schilling,
Stefan Leue,
Fabian Bauer-Marquart,
2021,
ArXiv.