| 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 | 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. |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, 30:1-30:68, 2018. |
| DOI | Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan. Monitoring CTMCs by Multi-clock Timed Automata, 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 I / edited by hana chockler, georg weissenbacher, 507-526, Springer, 2018. |
| DOI | Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration, 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 I / edited by hana chockler, georg weissenbacher, 643-661, Springer, 2018. |
| DOI | Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Verifying Auto-generated C Code from Simulink : An Experience Report in the Automotive Domain, Formal methods : 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, oxford, UK, july 15-17, 2018, proceedings / edited by klaus havelund, jan peleska, bill roscoe, erik de vink, Springer, 2018. |
| DOI | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations, Formal methods : 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, oxford, UK, july 15-17, 2018, proceedings / edited by klaus havelund, jan peleska, bill roscoe, erik de vink, Springer, 2018. |
| DOI | Francesco Leofante. Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back), Proceedings of the twenty-seventh international joint conference on artificial intelligence (IJCAI-18) : Stockholm, 13-19 july 2018 / edited by jérôme lang ; sponsored by international joint conferences on artifical intelligence (IJCAI), 5771-5772, 2018. |
| DOI | Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3, Model checking software : 25th international symposium, SPIN 2018, malaga, spain, june 20-22, 2018 : proceedings / maria del mar gallardo, pedro merino (eds.), 85-102, Springer, 2018. |
| DOI | Francesco Leofante, Nina Narodytska, Luca Pulina, Armando Tacchella. Automated Verification of Neural Networks: Advances, Challenges and Perspectives, 8 Seiten : Tabellen, Diagramme, 2018. |
| DOI | Francesco Leofante, Erika Ábrahám, Armando Tacchella. Task Planning with OMT: An Application to Production Logistics, Integrated formal methods : 14th international conference, IFM 2018, maynooth, ireland, september 5-7, 2018 : proceedings / carlo a. Furia, kirsten winter (eds.), 316-325, Springer, 2018. |