| 2019 |
|---|
| DOI | Milan Češka, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Shepherding Hordes of Markov Chains,
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, held as part of the european joint conferences on theory and practice of software, ETAPS 2019, prague, czech republic, april 6-11, 2019, proceedings. - Part 2 / edited by tomáš vojnar, lijun zhang, 172-190, Springer International Publishing, 2019. |
| DOI | . Dependable software engineering: theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019 : proceedings,
viii, 138 Seiten : Illustrationen, Springer International Publishing, 2019. |
| DOI | Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-Driven Synthesis for Probabilistic Program Sketches,
Formal methods - the next 30 years : third world congress, FM 2019, porto, portugal, october 7-11, 2019, proceedings / maurice H. ter beek, annabelle McIver, josé N. Oliveira (eds.), 101-120, Springer, 2019. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs,
2019 IEEE 24th pacific rim international symposium on dependable computing : PRDC 2019 : Kyoto, japan, 1-3 december 2019 : proceedings / sponsors PRDC 2019: IEEE computer society, tokyo metropolitan university, hiroshima university, kyoto sangyo university, nihon university, 266-275, IEEE, 2019. |
| DOI | Ira Justus Fesefeldt. Proving termination of pointer programs on top of symbolic execution,
118 S., 2019. |
| DOI | Saeid Dehnavi, Ali Sedaghatbaf, Bahare Salmani Barzoki, Marjan Sirjani, Mehdi Kargahi, Ehsan Khamespanah. Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca,
The 16th international conference on mobile systems and pervasive computing (MobiSPC 2019),the 14th international conference on future networks and communications (FNC-2019),the 9th international conference on sustainable energy information technology / edited by elhadi shakshuki, ansar yasar, haroon malik, 59-68, Elsevier, 2019. |
| DOI | Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0,
Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, held as part of the european joint conferences on theory and practice of software, ETAPS 2019, prague, czech republic, april 6-11, 2019 : proceedings / tomáš vojnar, lijun zhang (eds.). - Part 1, 379-385, Springer Open, 2019. |
| 2018 |
|---|
| DOI | Cheng-Chao Huang, Jing-Cao Li, Ming Xu, Zhi-Bin Li. Positive root isolation for poly-powers by exclusion and differentiation,
148-169, Elsevier, 2018. |
| DOI | Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle Mciver. Conditioning in Probabilistic Programming,
4, Association for Computing Machinery, 2018. |
| DOI | Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques,
370-379, IEEE, 2018. |
| DOI | Stefan Schupp, Justin Winkens, Erika Ábrahám. Context-Dependent Reachability Analysis for Hybrid Systems,
2018 IEEE 19th international conference on information reuse and integration for data science : IRI 2018 : 7-9 july 2018, salt lake city, utah, USA : proceedings / publisher: IEEE, 518-525, IEEE, 2018. |
| DOI | Gereon Kremer, Erika Ábrahám. Modular strategic SMT solving with SMT-RAT,
5-25, De Gruyter Open, 2018. |
| DOI | Stefan Schupp, Erika Ábrahám. Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems,
Software engineering and formal methods : 16th international conference, SEFM 2018, held as part of STAF 2018, toulouse, france, june 27-29, 2018 : proceedings / einar broch johnsen, ina schaefer (eds.), 89-104, Springer, 2018. |
| DOI | Stefan Schupp, Erika Ábrahám. Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis,
Tools and algorithms for the construction and analysis of systems : 24th international conference, TACAS 2018, held as part of the european joint conferences on theory and practice of software, ETAPS 2018, thessaloniki, greece, april 14-20, 2018, proceedings, part II / edited by dirk beyer, marieke huisman, 287-302, Springer International Publishing, 2018. |
| DOI | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Reachability in MDP,
Tools and algorithms for the construction and analysis of systems : 24th international conference, TACAS 2018, held as part of the european joint conferences on theory and practice of software, ETAPS 2018, thessaloniki, greece, april 14-20, 2018, proceedings, part II / edited by dirk beyer, marieke huisman, 320-339, Springer International Publishing, 2018. |
| DOI | Hannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. Graph-Based Shape Analysis Beyond Context-Freeness,
Software engineering and formal methods : 16th international conference, SEFM 2018, held as part of STAF 2018, toulouse, france, june 27-29, 2018 : proceedings / einar broch johnsen, ina schaefer (eds.), 271-286, Springer, 2018. |
| DOI | Hans Christian Hensel. The probabilistic model checker Storm : symbolic methods for probabilistic model checking,
1 Online-Ressource (vii, 331 Seiten) : Illustrationen, RWTH Aachen University, Department of Computer Science, 2018. |
| DOI | Ulrich Loup. On solving real-algebraic formulas in a satisfiability-modulo-theories framework,
1 Online-Ressource (ii, 222 Seiten) : Illustrationen, Diagramme, 2018. |
| DOI | Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen. A new proof rule for almost-sure termination,
33:1-33:28, ACM, 2018. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee? : A program analysis perspective on expected sampling times,
Programming languages and systems : 27th european symposium on programming, ESOP 2018, held as part of the european joint conferences on theory and practice of software, ETAPS 2018, thessaloniki, greece, april 14-20, 2018, proceedings / edited by amal ahmed, 186-213, Springer, 2018. |
| DOI | Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs,
Application and theory of petri nets and concurrency : 39th international conference, PETRI NETS 2018, bratislava, slovakia, june 24-29, 2018 : proceedings / victor khomenko, olivier H. Roux (eds.), 272-293, Springer, 2018. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic : A Logic for Reasoning about Probabilistic Programs,
159 Seiten, 2018. |
| DOI | Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu. Branching Bisimulation and Concurrent Object Verification,
48th annual IEEE/IFIP international conference on dependable systems and networks : DSN 2018 : proceedings : 25-28 june 2018, luxembourg city, luxembourg / publisher: IEEE, 267-278, IEEE, 2018. |
| DOI | Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph Be Your Witness! : An Attestor for Verifying Java Pointer Programs,
Computer aided verification : 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, oxford, UK, july 14-17, 2018, proceedings, part II / edited by hana chockler, georg weissenbacher, 3-11, Springer, 2018. |
| DOI | Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle. Symbolic Liveness Analysis of Real-World Software,
Computer aided verification : 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, oxford, UK, july 14-17, 2018, proceedings, part II / edited by hana chockler, georg weissenbacher, 447-466, Springer, 2018. |