2012
F. Leitner-Fischer and S. Leue, "Towards Causality Checking for Complex System Models," in accepted for publication at Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2012). Dagstuhl, Germany., 2012.
@inproceedings{LeiLeu12,
author = {Florian Leitner-Fischer and Stefan Leue},
Booktitle = {accepted for publication at Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2012). Dagstuhl, Germany.},
Date-Added = {2012-01-23 15:56:09 +0000},
Date-Modified = {2012-01-23 16:00:09 +0000},
Title = {Towards Causality Checking for Complex System Models},
Url = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/mbees2012.pdf},
Year = {2012},
Bdsk-Url-1 = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/mbees2012.pdf}
}
F. Leitner-Fischer and S. Leue, "Causality Checking for Complex System Models," Chair for Software Engineering, University of Konstanz, Technical Report soft-12-02, 2012.
@techreport{LeiLeu12a,
author = {Florian Leitner-Fischer and Stefan Leue},
Date-Added = {2012-01-23 15:56:06 +0000},
Date-Modified = {2012-01-23 15:59:43 +0000},
Institution = {Chair for Software Engineering, University of Konstanz},
Number = {soft-12-02},
Title = {Causality Checking for Complex System Models},
Type = {Technical Report},
Url = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-12-02.pdf},
Year = {2012},
Bdsk-Url-1 = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-12-02.pdf}
}
2011
F. Leitner-Fischer and S. Leue, "The QuantUM Approach in the Context of the ISO Standard 26262 for Automotive Systems (Extended Abstract)," Chair for Software Engineering, University of Konstanz, Technical Report soft-11-01, 2011.
@techreport{soft-11-01,
author = {F. Leitner-Fischer and S. Leue},
Date-Modified = {2011-04-12 16:21:47 +0200},
Institution = {Chair for Software Engineering, University of Konstanz},
Number = {soft-11-01},
Title = {The QuantUM Approach in the Context of the ISO Standard 26262 for Automotive Systems (Extended Abstract)},
Type = {Technical Report},
Url = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-11-01.pdf},
Year = {2011},
Bdsk-Url-1 = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-11-01.pdf}
}
M. Kuntz, F. Leitner-Fischer, and S. Leue, "From Probabilistic Counterexamples via Causality to Fault Trees," Chair for Software Engineering, University of Konstanz, Technical Report soft-11-02, 2011.
@techreport{KunLeiLeu11a,
author = {Matthias Kuntz and Florian Leitner-Fischer and Stefan Leue},
Date-Added = {2011-04-12 16:18:54 +0200},
Date-Modified = {2011-04-12 16:19:49 +0200},
Institution = {Chair for Software Engineering, University of Konstanz},
Number = {soft-11-02},
Title = {From Probabilistic Counterexamples via Causality to Fault Trees},
Type = {Technical Report},
Url = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-11-02.pdf},
Year = {2011},
Bdsk-Url-1 = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-11-02.pdf}
}
F. Leitner-Fischer and S. Leue, "Quantitative Analysis of UML Models," in Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2011). Dagstuhl, Germany., 2011.
@inproceedings{LeiLeu11,
author = {F. Leitner-Fischer and S. Leue},
Booktitle = {Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2011). Dagstuhl, Germany.},
Date-Modified = {2011-05-16 10:21:55 +0200},
Title = {Quantitative Analysis of UML Models},
Url = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/mbees2011.pdf},
Year = {2011},
Bdsk-Url-1 = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/mbees2011.pdf}
}
H. Aljazzar, F. Leitner-Fischer, S. Leue, and D. Simeonov, "DiPro – A Tool for Probabilistic Counterexample Generation," in Proceedings of the 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011., 2011, pp. 183-187.
@inproceedings{AljLeiLeuSim11,
author = {Husain Aljazzar and Florian Leitner-Fischer and Stefan Leue and Dimitar Simeonov},
Bibsource = {DBLP, http://dblp.uni-trier.de},
Booktitle = {Proceedings of the 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011.},
Crossref = {DBLP:conf/spin/2011},
Date-Added = {2011-11-15 11:36:25 +0000},
Date-Modified = {2011-11-15 11:36:25 +0000},
Ee = {http://dx.doi.org/10.1007/978-3-642-22306-8_13},
Pages = {183-187},
Publisher = {Springer},
Series = {LNCS},
Title = {DiPro - A Tool for Probabilistic Counterexample Generation},
Volume = {6823},
Year = {2011}
}
M. Kuntz, F. Leitner-Fischer, and S. Leue, "From Probabilistic Counterexamples via Causality to Fault Trees," in Proceedings of the Computer Safety, Reliability, and Security – 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, 2011.
@inproceedings{KunLeiLeu11b,
author = {Matthias Kuntz and Florian Leitner-Fischer and Stefan Leue},
Booktitle = {Proceedings of the Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011},
Date-Added = {2011-11-15 11:35:54 +0000},
Date-Modified = {2011-11-15 11:35:54 +0000},
Publisher = {Springer},
Series = {LNCS},
Title = {From Probabilistic Counterexamples via Causality to Fault Trees},
Year = {2011}
}
M. Kuntz, F. Leitner-Fischer, S. Leue, and B. Reh, "Challenges in the Modelling and Quantitative Analysis of Safety-Critical Automotive Systems," in Accepted for presentation at ROCKS workshop (ROCKS 2011). Saarbrücken, Germany., 2011.
@inproceedings{Kuntz:2011fk,
author = {M. Kuntz and F. Leitner-Fischer and S. Leue and B. Reh},
Booktitle = {Accepted for presentation at ROCKS workshop (ROCKS 2011). Saarbr{\"u}cken, Germany.},
Title = {Challenges in the Modelling and Quantitative Analysis of Safety-Critical Automotive Systems},
Year = {2011}
}
F. Leitner-Fischer and S. Leue, "QuantUM: Quantitative Safety Analysis of UML Models," in Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), 2011.
@inproceedings{LeiLeu11a,
author = {Leitner-Fischer, Florian and Leue, Stefan},
Booktitle = {Proceedings of the Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011)},
Date-Modified = {2011-05-16 10:22:30 +0200},
Title = {{QuantUM}: Quantitative Safety Analysis of {UML} Models},
Url = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/qapl2011.pdf},
Year = {2011},
Bdsk-Url-1 = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/qapl2011.pdf}
}
2010
F. Wanner, M. Schaefer, F. Leitner-Fischer, F. Zintgraf, M. Atkinson, and D. A. Keim, "DYNEVI – DYnamic News Entity VIsualization," in Proceedings of the International Symposium on Visual Analytics Science and Technology (EuroVAST 2010), 2010, pp. 69-74.
@inproceedings{WSL+10,
author = {Wanner, Franz and Schaefer, Matthias and Leitner-Fischer, Florian and Zintgraf, Fabian and Atkinson, Martin and Keim, Daniel A.},
Booktitle = {Proceedings of the International Symposium on Visual Analytics Science and Technology (EuroVAST 2010)},
Date-Added = {2011-03-15 13:09:54 +0100},
Date-Modified = {2011-03-15 13:11:44 +0100},
Editor = {Kohlhammer, Joern and Keim, Daniel A.},
Key = {WSL+10},
Pages = {69--74},
Publisher = {Eurographics},
Title = {{DYNEVI - DYnamic News Entity VIsualization}},
Year = {2010}
}
H. Aljazzar, M. Kuntz, F. Leitner-Fischer, and S. Leue, "Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation," in QUOVADIS ’10: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, New York, NY, USA, 2010, pp. 25-32.
@inproceedings{1808883, Address = {New York, NY, USA},
Author = {Aljazzar, Husain and Kuntz, Matthias and Leitner-Fischer, Florian and Leue, Stefan},
Booktitle = {QUOVADIS '10: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems},
Date-Added = {2010-05-27 14:45:59 +0200},
Date-Modified = {2010-05-27 14:52:34 +0200},
Doi = {http://doi.acm.org/10.1145/1808877.1808883},
Isbn = {978-1-60558-972-5},
Location = {Cape Town, South Africa},
Pages = {25--32},
Publisher = {ACM},
Title = {Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation},
Url = {http://doi.acm.org/10.1145/1808877.1808883},
Year = {2010},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1808877.1808883}
}
B. R. Haverkort, M. Kuntz, F. Leitner-Fischer, A. Remke, and S. Roolvink, "Probabilistic Verification of Architectural Software Models using SoftArc and Prism," in Accepted for publication at ESREL 2010, 2010.
@inproceedings{ESREL2010,
author = {Boudewijn R. Haverkort and Matthias Kuntz and Florian Leitner-Fischer and Anne Remke and Stephan Roolvink},
Booktitle = {Accepted for publication at ESREL 2010},
Date-Added = {2010-08-16 12:38:44 +0200},
Date-Modified = {2010-08-16 12:40:37 +0200},
Title = {Probabilistic Verification of Architectural Software Models using SoftArc and Prism},
Year = 2010}
F. Leitner-Fischer, "Quantitative Safety Analysis of UML Models," Master’s Dissertation , 2010.
@mastersthesis{mscflf, Abstract = {When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable. In spite of the plethora of available formal quantitative analysis methods it is still difficult for software and system architects to integrate these techniques into their every day work. This is mainly due to the lack of methods that can be directly applied to architecture level models, for instance given as UML diagrams. Another obstacle is, that the methods often require a profound knowledge of formal methods, which can rarely be found in industrial practice. Our approach bridges this gap and improves the integration of quantitative safety analysis methods into the development process. We propose a UML profile that allows for the specification of all inputs needed for the analysis at the level of a UML model. The QuantUM tool which we have developed, automatically translates an UML model into an analysis model. Furthermore, the results gained from the analysis are lifted to the level of the UML specification or other high-level formalism to further facilitate the process. Thus the analysis model and the formal methods used during the analysis are hidden from the user.},
Author = {Florian Leitner-Fischer},
Date-Modified = {2011-11-15 11:33:52 +0000},
Language = {eng},
School = {University of Konstanz},
Title = {Quantitative Safety Analysis of UML Models},
Url = {http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-125206},
Year = {2010},
Bdsk-Url-1 = {http://kops.ub.uni-konstanz.de/volltexte/2010/12520/}
}
2009
H. Aljazzar, M. Fischer, L. Grunske, M. Kuntz, F. Leitner-Fischer, and S. Leue, "Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples," in Proceedings of the International Conference on Quantitative Evaluation of Systems (QEST 2009), Los Alamitos, CA, USA, 2009, pp. 299-308.
@inproceedings{10.1109/QEST.2009.8, Address = {Los Alamitos, CA, USA},
Author = {Husain Aljazzar and Manuel Fischer and Lars Grunske and Matthias Kuntz and Florian Leitner-Fischer and Stefan Leue},
Booktitle = {Proceedings of the International Conference on Quantitative Evaluation of Systems (QEST 2009)},
Date-Modified = {2011-11-15 11:40:32 +0000},
Doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2009.8},
Isbn = {978-0-7695-3808-2},
Pages = {299-308},
Publisher = {IEEE Computer Society},
Title = {Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples},
Url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2009.8},
Volume = {0},
Year = {2009},
Bdsk-Url-1 = {http://doi.ieeecomputersociety.org/10.1109/QEST.2009.8}
}
2008
F. Leitner and S. Leue, "Simulink Design Verifier vs. SPIN – A Comparative Case Study," in Participant’s Proceedings of FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems, 2008.
@inproceedings{fmics2008,
author = {F. Leitner and S. Leue},
Booktitle = {Participant's Proceedings of FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems},
Title = {Simulink Design Verifier vs. SPIN - A Comparative Case Study},
Url = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/FMICS2008_FINAL.pdf},
Year = {2008},
Bdsk-Url-1 = {http://www.inf.uni-konstanz.de/soft/research/publications/pdf/FMICS2008_FINAL.pdf}
}
F. Leitner, "Bachelor Thesis: Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN,", 2008.
@misc{Leitner08,
author = {Florian Leitner},
Date-Modified = {2010-03-17 15:44:33 +0100},
Institution = {Chair for Software Engineering, University of Konstanz},
Language = {eng},
School = {University of Konstanz},
Title = {"Bachelor Thesis: Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN,"},
Url = {http://kops.ub.uni-konstanz.de/volltexte/2008/6125},
Year = {2008},
Bdsk-Url-1 = {http://kops.ub.uni-konstanz.de/volltexte/2008/6125}
}
