Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Leue
@inproceedings{DBLP:conf/fm/BauerMarquartLS23,
author = {Fabian Bauer{-}Marquart and
Stefan Leue and
Christian Schilling},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {symQV: Automated Symbolic Verification of Quantum Programs},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {181--198},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_12},
doi = {10.1007/978-3-031-27481-7\_12},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BauerMarquartLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/BoetiusLS23,
author = {David Boetius and
Stefan Leue and
Tobias Sutter},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {A Robust Optimisation Perspective on Counterexample-Guided Repair
of Neural Networks},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {2712--2737},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/boetius23a.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/BoetiusLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11342,
author = {David Boetius and
Stefan Leue and
Tobias Sutter},
title = {A Robust Optimisation Perspective on Counterexample-Guided Repair
of Neural Networks},
journal = {CoRR},
volume = {abs/2301.11342},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11342},
doi = {10.48550/ARXIV.2301.11342},
eprinttype = {arXiv},
eprint = {2301.11342},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-12495,
author = {David Boetius and
Stefan Leue},
title = {Verifying Global Neural Network Specifications using Hyperproperties},
journal = {CoRR},
volume = {abs/2306.12495},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.12495},
doi = {10.48550/ARXIV.2306.12495},
eprinttype = {arXiv},
eprint = {2306.12495},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-12495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KhojaKLW22,
author = {Alan Khoja and
Martin K{\"{o}}lbl and
Stefan Leue and
R{\"{u}}diger Wilhelmi},
editor = {Owolabi Legunsen and
Grigore Rosu},
title = {Automated Consistency Analysis for Legal Contracts},
booktitle = {Model Checking Software - 28th International Symposium, {SPIN} 2022,
Virtual Event, May 21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13255},
pages = {1--23},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15077-7\_1},
doi = {10.1007/978-3-031-15077-7\_1},
timestamp = {Thu, 25 Aug 2022 08:35:30 +0200},
biburl = {https://dblp.org/rec/conf/spin/KhojaKLW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Bauer-MarquartB22,
author = {Fabian Bauer{-}Marquart and
David Boetius and
Stefan Leue and
Christian Schilling},
editor = {Owolabi Legunsen and
Grigore Rosu},
title = {SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks},
booktitle = {Model Checking Software - 28th International Symposium, {SPIN} 2022,
Virtual Event, May 21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13255},
pages = {79--96},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15077-7\_5},
doi = {10.1007/978-3-031-15077-7\_5},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/Bauer-MarquartB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-02267,
author = {Fabian Bauer{-}Marquart and
Stefan Leue and
Christian Schilling},
title = {symQV: Automated Symbolic Verification of Quantum Programs},
journal = {CoRR},
volume = {abs/2212.02267},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.02267},
doi = {10.48550/ARXIV.2212.02267},
eprinttype = {arXiv},
eprint = {2212.02267},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-02267.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03349,
author = {Alan Khoja and
Martin K{\"{o}}lbl and
Stefan Leue and
R{\"{u}}diger Wilhelmi},
title = {Formal Modeling and Analysis of Legal Contracts using ContractCheck},
journal = {CoRR},
volume = {abs/2212.03349},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03349},
doi = {10.48550/ARXIV.2212.03349},
eprinttype = {arXiv},
eprint = {2212.03349},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03349.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KolblLW21,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
title = {Automated repair for timed systems},
journal = {Formal Methods Syst. Des.},
volume = {59},
number = {1},
pages = {136--169},
year = {2021},
url = {https://doi.org/10.1007/s10703-022-00397-5},
doi = {10.1007/S10703-022-00397-5},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/KolblLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-01917,
author = {Fabian Bauer{-}Marquart and
Stefan Leue and
Christian Schilling},
title = {DeepOpt: Scalable Specification-based Falsification of Neural Networks
using Black-Box Optimization},
journal = {CoRR},
volume = {abs/2106.01917},
year = {2021},
url = {https://arxiv.org/abs/2106.01917},
eprinttype = {arXiv},
eprint = {2106.01917},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01917.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KolblLW20,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {TarTar: {A} Timed Automata Repair Tool},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {529--540},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_25},
doi = {10.1007/978-3-030-53288-8\_25},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/KolblLW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KolblLS20,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Robert Schmid},
editor = {Nathalie Bertrand and
Nils Jansen},
title = {Dynamic Causes for the Violation of Timed Reachability Properties},
booktitle = {Formal Modeling and Analysis of Timed Systems - 18th International
Conference, {FORMATS} 2020, Vienna, Austria, September 1-3, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12288},
pages = {127--143},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57628-8\_8},
doi = {10.1007/978-3-030-57628-8\_8},
timestamp = {Tue, 25 Aug 2020 15:25:25 +0200},
biburl = {https://dblp.org/rec/conf/formats/KolblLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KolblL20,
author = {Martin K{\"{o}}lbl and
Stefan Leue},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Algorithm to Compute a Strict Partial Ordering of Actions in Action
Traces},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Tools and Trends - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12479},
pages = {10--26},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-83723-5\_2},
doi = {10.1007/978-3-030-83723-5\_2},
timestamp = {Mon, 09 Aug 2021 09:09:23 +0200},
biburl = {https://dblp.org/rec/conf/isola/KolblL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/CaltaisLS20,
author = {Georgiana Caltais and
Stefan Leue and
Hargurbir Singh},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Bran Selic},
title = {Correctness of an {ATL} Model Transformation from SysML State Machine
Diagrams to Promela},
booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2020, Valletta, Malta, February
25-27, 2020},
pages = {360--372},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008968303600372},
doi = {10.5220/0008968303600372},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/CaltaisLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-02760,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
title = {TarTar: {A} Timed Automata Repair Tool},
journal = {CoRR},
volume = {abs/2002.02760},
year = {2020},
url = {https://arxiv.org/abs/2002.02760},
eprinttype = {arXiv},
eprint = {2002.02760},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-02760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/KolblL19,
author = {Martin K{\"{o}}lbl and
Stefan Leue},
editor = {Yu{-}Fang Chen and
Chih{-}Hong Cheng and
Javier Esparza},
title = {An Efficient Algorithm for Computing Causal Trace Sets in Causality
Checking},
booktitle = {Automated Technology for Verification and Analysis - 17th International
Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11781},
pages = {171--186},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31784-3\_10},
doi = {10.1007/978-3-030-31784-3\_10},
timestamp = {Mon, 03 Jan 2022 17:11:32 +0100},
biburl = {https://dblp.org/rec/conf/atva/KolblL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KolblLW19,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Thomas Wies},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Clock Bound Repair for Timed Systems},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {79--96},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_5},
doi = {10.1007/978-3-030-25540-4\_5},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/KolblLW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GosslerLN19,
author = {Gregor G{\"{o}}ssler and
Stefan Leue and
Shin Nakajima},
title = {Causal Reasoning in Systems {(NII} Shonan Meeting 139)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2019},
year = {2019},
url = {https://shonan.nii.ac.jp/seminars/139/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GosslerLN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/insk/WagnerTFL18,
author = {Stefan Wagner and
Matthias Tichy and
Michael Felderer and
Stefan Leue},
title = {Verl{\"{a}}ssliche Software im 21. Jahrhundert},
journal = {Inform. Spektrum},
volume = {41},
number = {5},
pages = {311--316},
year = {2018},
url = {https://doi.org/10.1007/s00287-018-1118-x},
doi = {10.1007/S00287-018-1118-X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/insk/WagnerTFL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KolblL18,
author = {Martin K{\"{o}}lbl and
Stefan Leue},
editor = {Falk Howar and
Jiri Barnat},
title = {Automated Functional Safety Analysis of Automated Driving Systems},
booktitle = {Formal Methods for Industrial Critical Systems - 23rd International
Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11119},
pages = {35--51},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00244-2\_3},
doi = {10.1007/978-3-030-00244-2\_3},
timestamp = {Sat, 19 Oct 2019 20:28:59 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KolblL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KolblLS18,
author = {Martin K{\"{o}}lbl and
Stefan Leue and
Hargurbir Singh},
editor = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino},
title = {From SysML to Model Checkers via Model Transformation},
booktitle = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
Malaga, Spain, June 20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10869},
pages = {255--274},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94111-0\_15},
doi = {10.1007/978-3-319-94111-0\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KolblLS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-00588,
author = {Georgiana Caltais and
Sophie Linnea Guetlein and
Stefan Leue},
editor = {Bernd Finkbeiner and
Samantha Kleinberg},
title = {Causality for General LTL-definable Properties},
booktitle = {Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility,
and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki,
Greece, 21st April 2018},
series = {{EPTCS}},
volume = {286},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.286.1},
doi = {10.4204/EPTCS.286.1},
timestamp = {Mon, 04 Feb 2019 17:20:39 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-00588.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01434,
author = {Stefan Wagner and
Matthias Tichy and
Michael Felderer and
Stefan Leue},
title = {Verl{\"{a}}ssliche Software im 21. Jahrhundert},
journal = {CoRR},
volume = {abs/1812.01434},
year = {2018},
url = {http://arxiv.org/abs/1812.01434},
eprinttype = {arXiv},
eprint = {1812.01434},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-01434.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1710-02770,
editor = {Alex Groce and
Stefan Leue},
title = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded
and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala,
Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {259},
year = {2017},
url = {http://arxiv.org/abs/1710.02770},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/CaltaisLLW16,
author = {Georgiana Caltais and
Florian Leitner{-}Fischer and
Stefan Leue and
Jannis Weiser},
editor = {Christian Berger and
Mohammad Reza Mousavi and
Rafael Wisniewski},
title = {SysML to NuSMV Model Transformation via Object-Orientation},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International
Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10107},
pages = {31--45},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-51738-4\_3},
doi = {10.1007/978-3-319-51738-4\_3},
timestamp = {Sat, 11 Jul 2020 10:44:59 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/CaltaisLLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CaltaisLM16,
author = {Georgiana Caltais and
Stefan Leue and
Mohammad Reza Mousavi},
editor = {Gregor G{\"{o}}{\ss}ler and
Oleg Sokolsky},
title = {(De-)Composing Causality in Labeled Transition Systems},
booktitle = {Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical
Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands,
8th April 2016},
series = {{EPTCS}},
volume = {224},
pages = {10--24},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.224.3},
doi = {10.4204/EPTCS.224.3},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CaltaisLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Leue15,
author = {Stefan Leue},
title = {Methods and semantics for telecommunications systems engineering},
school = {University of Bern, Switzerland},
year = {2015},
url = {http://kops.uni-konstanz.de/handle/123456789/31361},
urn = {urn:nbn:de:bsz:352-0-253373},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Leue15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BeerHKLL15,
author = {Adrian Beer and
Stephan Heidinger and
Uwe K{\"{u}}hne and
Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Bernd Fischer and
Jaco Geldenhuys},
title = {Symbolic Causality Checking Using Bounded Model Checking},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9232},
pages = {203--221},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23404-5\_14},
doi = {10.1007/978-3-319-23404-5\_14},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BeerHKLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Leitner-FischerL14,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {SpinCause: a tool for causality checking},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {117--120},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632371},
doi = {10.1145/2632362.2632371},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spin/Leitner-FischerL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijccbs/Leitner-FischerL13,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
title = {Probabilistic fault tree synthesis using causality computation},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {4},
number = {2},
pages = {119--143},
year = {2013},
url = {https://doi.org/10.1504/IJCCBS.2013.056492},
doi = {10.1504/IJCCBS.2013.056492},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijccbs/Leitner-FischerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LeueW13,
author = {Stefan Leue and
Wei Wei},
title = {Integer Linear Programming-Based Property Checking for Asynchronous
Reactive Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {2},
pages = {216--236},
year = {2013},
url = {https://doi.org/10.1109/TSE.2011.1},
doi = {10.1109/TSE.2011.1},
timestamp = {Thu, 26 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LeueW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/BeerGLL13,
author = {Adrian Beer and
Todor G. Georgiev and
Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow
Models},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband
Modellbasierte Entwicklung eingebetteter Systeme},
pages = {60--69},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2013},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/BeerGLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Leitner-FischerL13,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {On the Synergy of Probabilistic Causality Computation and Causality
Checking},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {246--263},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_16},
doi = {10.1007/978-3-642-39176-7\_16},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/Leitner-FischerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LeueB13,
author = {Stefan Leue and
Mitra Tabaei Befrouei},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Mining Sequential Patterns to Explain Concurrent Counterexamples},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {264--281},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_17},
doi = {10.1007/978-3-642-39176-7\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/LeueB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Leitner-FischerL13,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Causality Checking for Complex System Models},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {248--267},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_16},
doi = {10.1007/978-3-642-35873-9\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Leitner-FischerL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/Leitner-FischerL12,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Towards Causality Checking for Complex System Models},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {71--80},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/Leitner-FischerL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LeueB12,
author = {Stefan Leue and
Mitra Tabaei Befrouei},
editor = {Alastair F. Donaldson and
David Parker},
title = {Counterexample Explanation by Anomaly Detection},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {24--42},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_5},
doi = {10.1007/978-3-642-31759-0\_5},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LeueB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AljazzarL11,
author = {Husain Aljazzar and
Stefan Leue},
title = {K\({}^{\mbox{{\unicode{8270}}}}\): {A} heuristic search algorithm
for finding the k shortest paths},
journal = {Artif. Intell.},
volume = {175},
number = {18},
pages = {2129--2154},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2011.07.003},
doi = {10.1016/J.ARTINT.2011.07.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AljazzarL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CoferFLM11,
author = {Darren D. Cofer and
Alessandro Fantechi and
Stefan Leue and
Pedro Merino},
title = {Preface to the special issue on Formal Methods for Industrial Critical
Systems {(FMICS} 2007 + {FMICS} 2008)},
journal = {Sci. Comput. Program.},
volume = {76},
number = {2},
pages = {63--64},
year = {2011},
url = {https://doi.org/10.1016/j.scico.2010.07.001},
doi = {10.1016/J.SCICO.2010.07.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/CoferFLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/Leitner-FischerL11,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Holger Giese and
Michaela Huhn and
Jan Phillips and
Bernhard Sch{\"{a}}tz},
title = {Quantitative Analysis of {UML} Models},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme VII, Schloss Dagstuhl, Germany, 2011, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
pages = {91--100},
publisher = {fortiss GmbH, M{\"{u}}nchen},
year = {2011},
timestamp = {Thu, 12 Mar 2020 11:39:36 +0100},
biburl = {https://dblp.org/rec/conf/mbees/Leitner-FischerL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KuntzLL11,
author = {Matthias Kuntz and
Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {From Probabilistic Counterexamples via Causality to Fault Trees},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {71--84},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_6},
doi = {10.1007/978-3-642-24270-0\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KuntzLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/AljazzarLLS11,
author = {Husain Aljazzar and
Florian Leitner{-}Fischer and
Stefan Leue and
Dimitar Simeonov},
editor = {Alex Groce and
Madanlal Musuvathi},
title = {DiPro - {A} Tool for Probabilistic Counterexample Generation},
booktitle = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
UT, USA, July 14-15, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6823},
pages = {183--187},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22306-8\_13},
doi = {10.1007/978-3-642-22306-8\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/AljazzarLLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1107-1198,
author = {Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Mieke Massink and
Gethin Norman},
title = {QuantUM: Quantitative Safety Analysis of {UML} Models},
booktitle = {Proceedings Ninth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2011, Saarbr{\"{u}}cken, Germany, April 1-3,
2011},
series = {{EPTCS}},
volume = {57},
pages = {16--30},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.57.2},
doi = {10.4204/EPTCS.57.2},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AljazzarL10,
author = {Husain Aljazzar and
Stefan Leue},
title = {Directed Explicit State-Space Search in the Generation of Counterexamples
for Stochastic Model Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {36},
number = {1},
pages = {37--60},
year = {2010},
url = {https://doi.org/10.1109/TSE.2009.57},
doi = {10.1109/TSE.2009.57},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AljazzarL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BadbanLS10,
author = {Bahareh Badban and
Stefan Leue and
Jan{-}Georg Smaus},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Automated Invariant Generation for the Verification of Real-Time Systems},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {44--58},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/npn7},
doi = {10.29007/NPN7},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/cade/BadbanLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KuntzLS10,
author = {Matthias Kuntz and
Stefan Leue and
Christoph Scheben},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Extending Non-Termination Proof Techniques to Asynchronously Communicating
Concurrent Programs},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {132--147},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/c7v2},
doi = {10.29007/C7V2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/KuntzLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AljazzarKLL10,
author = {Husain Aljazzar and
Matthias Kuntz and
Florian Leitner{-}Fischer and
Stefan Leue},
editor = {Carlo Ghezzi and
Lars Grunske and
Raffaela Mirandola},
title = {Directed and heuristic counterexample generation for probabilistic
model checking: a comparative evaluation},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Quantitative Stochastic
Models in the Verification and Design of Software Systems, {QUOVADIS}
'10, May 3, 2010, Cape Town, South Africa},
pages = {25--32},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1808877.1808883},
doi = {10.1145/1808877.1808883},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AljazzarKLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BosnackiLL09,
author = {Dragan Bosnacki and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Partial-order reduction for general state exploring algorithms},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {1},
pages = {39--51},
year = {2009},
url = {https://doi.org/10.1007/s10009-008-0093-y},
doi = {10.1007/S10009-008-0093-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BosnackiLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DaxKL09,
author = {Christian Dax and
Felix Klaedtke and
Stefan Leue},
editor = {Zhiming Liu and
Anders P. Ravn},
title = {Specification Languages for Stutter-Invariant Regular Properties},
booktitle = {Automated Technology for Verification and Analysis, 7th International
Symposium, {ATVA} 2009, Macao, China, October 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5799},
pages = {244--254},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04761-9\_19},
doi = {10.1007/978-3-642-04761-9\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DaxKL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbees/LeueW09,
author = {Stefan Leue and
Wei Wei},
editor = {Holger Giese and
Michaela Huhn and
Ulrich Nickel and
Bernhard Sch{\"{a}}tz},
title = {An Executable and Extensible Formal Semantics for {UML-RT}},
booktitle = {Dagstuhl-Workshop {MBEES:} Modellbasierte Entwicklung eingebetteter
Systeme V, Schloss Dagstuhl, Germany, 2009, Tagungsband Modellbasierte
Entwicklung eingebetteter Systeme},
series = {Informatik-Bericht},
volume = {2009-01},
pages = {182--188},
publisher = {{TU} Braunschweig, Institut f{\"{u}}r Software Systems Engineering},
year = {2009},
url = {http://www.sse-tubs.de/mbees-dagstuhl/MBEES2009\_Proceedings\_online\_small.pdf},
timestamp = {Thu, 12 Mar 2020 11:39:37 +0100},
biburl = {https://dblp.org/rec/conf/mbees/LeueW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AljazzarL09,
author = {Husain Aljazzar and
Stefan Leue},
title = {Generation of Counterexamples for Model Checking of Markov Decision
Processes},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {197--206},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.10},
doi = {10.1109/QEST.2009.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AljazzarL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AljazzarFGKLL09,
author = {Husain Aljazzar and
Manuel Fischer and
Lars Grunske and
Matthias Kuntz and
Florian Leitner{-}Fischer and
Stefan Leue},
title = {Safety Analysis of an Airbag System Using Probabilistic {FMEA} and
Probabilistic Counterexamples},
booktitle = {{QEST} 2009, Sixth International Conference on the Quantitative Evaluation
of Systems, Budapest, Hungary, 13-16 September 2009},
pages = {299--308},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/QEST.2009.8},
doi = {10.1109/QEST.2009.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AljazzarFGKLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0911-3277,
author = {Bahareh Badban and
Stefan Leue and
Jan{-}Georg Smaus},
editor = {Axel Legay},
title = {Automated Predicate Abstraction for Real-Time Models},
booktitle = {Proceedings International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2009, Bologna, Italy, 31th August 2009},
series = {{EPTCS}},
volume = {10},
pages = {36--43},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.10.3},
doi = {10.4204/EPTCS.10.3},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-3277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AljazzarL08,
author = {Husain Aljazzar and
Stefan Leue},
title = {Debugging of Dependability Models Using Interactive Visualization
of Counterexamples},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {189--198},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.40},
doi = {10.1109/QEST.2008.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AljazzarL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LeueSW08,
author = {Stefan Leue and
Alin Stefanescu and
Wei Wei},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Dependency Analysis for Control Flow Cycles in Reactive Communicating
Processes},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {176--195},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_14},
doi = {10.1007/978-3-540-85114-1\_14},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LeueSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/LeueSW08,
author = {Stefan Leue and
Alin Stefanescu and
Wei Wei},
editor = {Richard F. Paige and
Bertrand Meyer},
title = {An AsmL Semantics for Dynamic Structures and Run Time Schedulability
in {UML-RT}},
booktitle = {Objects, Components, Models and Patterns, 46th International Conference,
{TOOLS} {EUROPE} 2008, Zurich, Switzerland, June 30 - July 4, 2008.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {11},
pages = {238--257},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69824-1\_14},
doi = {10.1007/978-3-540-69824-1\_14},
timestamp = {Wed, 24 Jun 2020 15:26:33 +0200},
biburl = {https://dblp.org/rec/conf/tools/LeueSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2007,
editor = {Stefan Leue and
Pedro Merino},
title = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79707-4},
doi = {10.1007/978-3-540-79707-4},
isbn = {978-3-540-79706-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2006P6172,
editor = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
title = {Directed Model Checking, 26.04. - 29.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06172},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/portals/06172/},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2006P6172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LeueSW06,
author = {Stefan Leue and
Alin Stefanescu and
Wei Wei},
editor = {Christel Baier and
Holger Hermanns},
title = {A Livelock Freedom Analysis for Infinite State Asynchronous Reactive
Systems},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {79--94},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_6},
doi = {10.1007/11817949\_6},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/LeueSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AljazzarL06,
author = {Husain Aljazzar and
Stefan Leue},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Extended Directed Search for Probabilistic Timed Reachability},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {33--51},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_4},
doi = {10.1007/11867340\_4},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AljazzarL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soqua/FattaLS06,
author = {Giuseppe Di Fatta and
Stefan Leue and
Evghenia Stegantova},
editor = {Johannes Mayer and
Neelam Gupta and
Yves Ledru},
title = {Discriminative pattern mining in software fault detection},
booktitle = {Third International Workshop on Software Quality Assurance, {SOQUA}
2006, Portland, Oregon, USA, November 6, 2006},
pages = {62--69},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1188895.1188910},
doi = {10.1145/1188895.1188910},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/soqua/FattaLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BosnackiLL06,
author = {Dragan Bosnacki and
Stefan Leue and
Alberto Lluch{-}Lafuente},
editor = {Antti Valmari},
title = {Partial-Order Reduction for General State Exploring Algorithms},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {271--287},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_16},
doi = {10.1007/11691617\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/BosnackiLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeueW06,
author = {Stefan Leue and
Wei Wei},
editor = {Holger Hermanns and
Jens Palsberg},
title = {A Region Graph Based Approach to Termination Proofs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {318--333},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_21},
doi = {10.1007/11691372\_21},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeueW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdelkampLV06,
author = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
editor = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
title = {06172 Executive Summary -- Directed Model Checking},
booktitle = {Directed Model Checking, 26.04. - 29.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06172},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/944},
timestamp = {Thu, 10 Jun 2021 13:02:06 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdelkampLV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/EdelkampLV06a,
author = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
editor = {Stefan Edelkamp and
Stefan Leue and
Willem Visser},
title = {06172 Abstracts Collection -- Directed Model Checking},
booktitle = {Directed Model Checking, 26.04. - 29.04.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06172},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/946},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/EdelkampLV06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/AljazzarHL05,
author = {Husain Aljazzar and
Holger Hermanns and
Stefan Leue},
editor = {Paul Pettersson and
Wang Yi},
title = {Counterexamples for Timed Probabilistic Reachability},
booktitle = {Formal Modeling and Analysis of Timed Systems, Third International
Conference, {FORMATS} 2005, Uppsala, Sweden, September 26-28, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3829},
pages = {177--195},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11603009\_15},
doi = {10.1007/11603009\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/AljazzarHL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LeueW05,
author = {Stefan Leue and
Wei Wei},
editor = {Patrice Godefroid},
title = {Counterexample-Based Refinement for a Boundedness Test for {CFSM}
Languages},
booktitle = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
CA, USA, August 22-24, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3639},
pages = {58--74},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11537328\_8},
doi = {10.1007/11537328\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LeueW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2003scenarios,
editor = {Stefan Leue and
Tarja Syst{\"{a}}},
title = {Scenarios: Models, Transformations and Tools, International Workshop,
Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3466},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b137052},
doi = {10.1007/B137052},
isbn = {3-540-26189-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/2003scenarios.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BroyJNRCEGGGGGH05,
author = {Manfred Broy and
Matthias Jarke and
Manfred Nagl and
Hans Dieter Rombach and
Armin B. Cremers and
J{\"{u}}rgen Ebert and
Sabine Glesner and
Martin Glinz and
Michael Goedicke and
Gerhard Goos and
Volker Gruhn and
Wilhelm Hasselbring and
Stefan J{\"{a}}hnichen and
Stefan Kowalewski and
Bernd J. Kr{\"{a}}mer and
Stefan Leue and
Claus Lewerentz and
Peter Liggesmeyer and
Christoph L{\"{u}}th and
Barbara Paech and
Helmuth Arthur Partsch and
Ilka Philippow and
Lutz Prechelt and
Andreas Rausch and
Willem{-}Paul de Roever and
Bernhard Rumpe and
Gudula R{\"{u}}nger and
Wilhelm Sch{\"{a}}fer and
Kurt Schneider and
Andy Sch{\"{u}}rr and
Walter F. Tichy and
Bernhard Westfechtel and
Wolf Zimmermann and
Albert Z{\"{u}}ndorf},
editor = {Manfred Broy and
Manfred Nagl and
Hans Dieter Rombach and
Matthias Jarke},
title = {Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering
in Deutschland},
booktitle = {Perspectives Workshop, 05.10. - 08.10.2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05402},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/585/},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BroyJNRCEGGGGGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampLL04,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Directed explicit-state model checking in the validation of communication
protocols},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {2-3},
pages = {247--267},
year = {2004},
url = {https://doi.org/10.1007/s10009-002-0104-3},
doi = {10.1007/S10009-002-0104-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampLL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DwyerL04,
author = {Matthew B. Dwyer and
Stefan Leue},
title = {Introductory paper},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {257--259},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0168-3},
doi = {10.1007/S10009-004-0168-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DwyerL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/EdelkampLL04a,
author = {Stefan Edelkamp and
Stefan Leue and
Alberto Lluch{-}Lafuente},
title = {Partial-order reduction and trail improvement in directed model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {277--301},
year = {2004},
url = {https://doi.org/10.1007/s10009-004-0151-z},
doi = {10.1007/S10009-004-0151-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/EdelkampLL04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TanACZL04,
author = {Jianbin Tan and
George S. Avrunin and
Lori A. Clarke and
Shlomo Zilberstein and
Stefan Leue},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Heuristic-guided counterexample search in {FLAVERS}},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {201--210},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029922},
doi = {10.1145/1029894.1029922},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/TanACZL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/LeueMW04,
author = {Stefan Leue and
Richard Mayr and
Wei Wei},
editor = {Susanne Graf and
Laurent Mounier},
title = {A Scalable Incomplete Test for Message Buffer Overflow in Promela
Models},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {216--233},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_16},
doi = {10.1007/978-3-540-24732-6\_16},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/LeueMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeueMW04,
author = {Stefan Leue and
Richard Mayr and
Wei Wei},
editor = {Kurt Jensen and
Andreas Podelski},
title = {A Scalable Incomplete Test for the Boundedness of {UML} {RT} Models},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {327--341},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_26},
doi = {10.1007/978-3-540-24730-2\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeueMW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Lluch-LafuenteEL02,
author = {Alberto Lluch{-}Lafuente and
Stefan Edelkamp and
Stefan Leue},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Partial Order Reduction in Directed Model Checking},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {112--127},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_10},
doi = {10.1007/3-540-46017-9\_10},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Lluch-LafuenteEL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2002,
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9},
doi = {10.1007/3-540-46017-9},
isbn = {3-540-43477-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/EdelkampLL01,
author = {Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Stefan Leue},
editor = {Matthew B. Dwyer},
title = {Directed Explicit Model Checking with {HSF-SPIN}},
booktitle = {Model Checking Software, 8th International {SPIN} Workshop, Toronto,
Canada, May 19-20, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2057},
pages = {57--79},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45139-0\_5},
doi = {10.1007/3-540-45139-0\_5},
timestamp = {Thu, 02 Jun 2022 12:33:45 +0200},
biburl = {https://dblp.org/rec/conf/spin/EdelkampLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EdelkampLL01,
author = {Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Stefan Leue},
editor = {Scott D. Stoller and
Willem Visser},
title = {Trail-directed model checking},
booktitle = {Workshop on Software Model Checking 2001, in connection with {CAV}
2001, Paris, France, July 23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {55},
number = {3},
pages = {343--356},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00261-0},
doi = {10.1016/S1571-0661(04)00261-0},
timestamp = {Mon, 05 Dec 2022 12:31:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EdelkampLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/KamelL00,
author = {Moataz Kamel and
Stefan Leue},
title = {Formalization and Validation of the General Inter-ORB Protocol {(GIOP)}
using {PROMELA} and {SPIN}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {4},
pages = {394--409},
year = {2000},
url = {https://doi.org/10.1007/s100090050045},
doi = {10.1007/S100090050045},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/KamelL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KamelL00,
author = {Moataz Kamel and
Stefan Leue},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {{VIP:} {A} Visual Editor and Compiler for v-Promela},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {471--486},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_32},
doi = {10.1007/3-540-46419-0\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KamelL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/LeueH99,
author = {Stefan Leue and
Gerard J. Holzmann},
title = {v-Promela: {A} Visual, Object-Oriented Language for {SPIN}},
booktitle = {2nd International Symposium on Object-Oriented Real-Time Distributed
Computing {(ISORC} '99), May 2-5, 1999, Saint Malo, France},
pages = {14--23},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ISORC.1999.776345},
doi = {10.1109/ISORC.1999.776345},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/LeueH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KamelL99,
author = {Moataz Kamel and
Stefan Leue},
editor = {Dennis Dams and
Rob Gerth and
Stefan Leue and
Mieke Massink},
title = {{VIP:} {A} Visual Interface for Promela},
booktitle = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
France, September 21 and 24 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1680},
pages = {153},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48234-2\_12},
doi = {10.1007/3-540-48234-2\_12},
timestamp = {Mon, 15 Jun 2020 17:08:41 +0200},
biburl = {https://dblp.org/rec/conf/spin/KamelL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/1999,
editor = {Dennis Dams and
Rob Gerth and
Stefan Leue and
Mieke Massink},
title = {Theoretical and Practical Aspects of {SPIN} Model Checking, 5th and
6th International {SPIN} Workshops, Trento, Italy, July 5, 1999, Toulouse,
France, September 21 and 24 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1680},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48234-2},
doi = {10.1007/3-540-48234-2},
isbn = {3-540-66499-8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/FischerL98,
author = {Stefan Fischer and
Stefan Leue},
title = {Formal Methods for Broadband and Multimedia Systems},
journal = {Comput. Networks},
volume = {30},
number = {9-10},
pages = {865--899},
year = {1998},
url = {https://doi.org/10.1016/S0169-7552(97)00132-3},
doi = {10.1016/S0169-7552(97)00132-3},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/FischerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeueMR98,
author = {Stefan Leue and
Lars Mehrmann and
Mohammad Reza Mousavi},
title = {Synthesizing Software Architecture Descriptions from Message Sequence
Chart Specifications},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {192--195},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732635},
doi = {10.1109/ASE.1998.732635},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeueMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ben-AbdallahL98,
author = {Han{\^{e}}ne Ben{-}Abdallah and
Stefan Leue},
editor = {Bernhard Steffen},
title = {{MESA:} Support for Scenario-Based Design of Concurrent Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {118--135},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054168},
doi = {10.1007/BFB0054168},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Ben-AbdallahL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Ben-AbdallahL97,
author = {Han{\^{e}}ne Ben{-}Abdallah and
Stefan Leue},
editor = {Atsushi Togashi and
Tadanori Mizuno and
Norio Shiratori and
Teruo Higashino},
title = {Timing Constraints in Message Sequence Chart Specifications},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {X)} and
Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21
November, 1997, Osaka, Japan},
series = {{IFIP} Conference Proceedings},
volume = {107},
pages = {91--106},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
biburl = {https://dblp.org/rec/conf/forte/Ben-AbdallahL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FischerL97,
author = {Stefan Fischer and
Stefan Leue},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Formal Methods for Broadband and Multimedia Systems (Tutorial)},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {665--666},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253813},
doi = {10.1145/253228.253813},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FischerL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Ben-AbdallahL97,
author = {Han{\^{e}}ne Ben{-}Abdallah and
Stefan Leue},
editor = {Ed Brinksma},
title = {Syntactic Detection of Process Divergence and Non-local Choice inMessage
Sequence Charts},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third
International Workshop, {TACAS} '97, Enschede, The Netherlands, April
2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {259--274},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0035393},
doi = {10.1007/BFB0035393},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Ben-AbdallahL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jhsn/LeueO96,
author = {Stefan Leue and
Philippe Oechslin},
title = {OpParIm: {A} method and tool for optimized parallel protocol implementation},
journal = {J. High Speed Networks},
volume = {5},
number = {2},
pages = {125--143},
year = {1996},
url = {https://doi.org/10.3233/JHS-1996-5203},
doi = {10.3233/JHS-1996-5203},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jhsn/LeueO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/LeueO96,
author = {Stefan Leue and
Philippe Oechslin},
title = {On parallelizing and optimizing the implementation of communication
protocols},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {4},
number = {1},
pages = {55--70},
year = {1996},
url = {https://doi.org/10.1109/90.503762},
doi = {10.1109/90.503762},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/LeueO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/LeueL96,
author = {Stefan Leue and
Peter B. Ladkin},
editor = {Jean{-}Charles Gr{\'{e}}goire and
Gerard J. Holzmann and
Doron A. Peled},
title = {Implementing and verifying {MSC} specifications using Promela/XSpin},
booktitle = {The Spin Verification System, Proceedings of a {DIMACS} Workshop,
New Brunswick, New Jersey, USA, August, 1996},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {32},
pages = {65--89},
publisher = {{DIMACS/AMS}},
year = {1996},
url = {https://doi.org/10.1090/dimacs/032/06},
doi = {10.1090/DIMACS/032/06},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/LeueL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/LadkinL95,
author = {Peter B. Ladkin and
Stefan Leue},
title = {Interpreting Message Flow Graphs},
journal = {Formal Aspects Comput.},
volume = {7},
number = {5},
pages = {473--509},
year = {1995},
url = {https://doi.org/10.1007/BF01211629},
doi = {10.1007/BF01211629},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/LadkinL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Leue95,
author = {Stefan Leue},
editor = {Piotr Dembinski and
Marek Sredniawa},
title = {Specifying real-time requirements for {SDL} specifications - a temporal
logic-based approach},
booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of
the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification,
Testing and Verification, Warsaw, Poland, June 1995},
series = {{IFIP} Conference Proceedings},
volume = {38},
pages = {19--34},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Leue95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1994,
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
publisher = {Chapman {\&} Hall},
year = {1995},
isbn = {0-412-64450-9},
timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forte/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LadkinL94,
author = {Peter B. Ladkin and
Stefan Leue},
editor = {Dieter Hogrefe and
Stefan Leue},
title = {Four issues concerning the semantics of Message Flow Graphs},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th {IFIP} {WG6.1}
International Conference on Formal Description Techniques, Berne,
Switzerland, 1994},
series = {{IFIP} Conference Proceedings},
volume = {6},
pages = {355--369},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/LadkinL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/LeueO94,
author = {Stefan Leue and
Philippe Oechslin},
title = {Formalizations and algorithms for optimized parallel protocol implementation},
booktitle = {1994 International Conference on Network Protocols, {ICNP} 1994, Boston,
MA, USA, October 25-28, 1994, Proceedings},
pages = {178--185},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICNP.1994.344362},
doi = {10.1109/ICNP.1994.344362},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/LeueO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/phsn/LeueO94,
author = {Stefan Leue and
Philippe Oechslin},
editor = {Gerald W. Neufeld and
Mabo Robert Ito},
title = {From {SDL} specifications to optimized parallel protocol implementations},
booktitle = {Protocols for High-Speed Networks {IV}},
series = {{IFIP} Conference Proceedings},
volume = {8},
pages = {308--327},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 14 Oct 2002 12:36:55 +0200},
biburl = {https://dblp.org/rec/conf/phsn/LeueO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LadkinL93,
author = {Peter B. Ladkin and
Stefan Leue},
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"{U}}mit Uyar},
title = {What Do Message Sequence Charts Mean?},
booktitle = {Formal Description Techniques, VI, Proceedings of the {IFIP} {TC6/WG6.1}
Sixth International Conference on Formal Description Techniques -
{FORTE} '93, Boston, MA, USA, 26-29 October 1993},
series = {{IFIP} Transactions},
volume = {{C-22}},
pages = {301--316},
publisher = {North-Holland},
year = {1993},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/LadkinL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/LadkinL92,
author = {Peter B. Ladkin and
Stefan Leue},
editor = {Hartmut K{\"{o}}nig},
title = {On the Semantics of Message Sequence Charts},
booktitle = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Magdeburg, 10.-11. Juni 1992},
pages = {88--104},
publisher = {K. G. Saur Verlag},
year = {1992},
timestamp = {Thu, 27 Mar 2003 09:33:08 +0100},
biburl = {https://dblp.org/rec/conf/fbt/LadkinL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 01:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
