Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX 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} }
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.