| 2019 |
|---|
| DOI | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters. The Quantitative Verification Benchmark Set, 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, 344-350, Springer Open, 2019. |
| DOI | Souymodip Chakraborty. New results on probabilistic verification : automata, logic and satisfiability, 1 Online-Ressource (172 Seiten) : Illustrationen, 2019. |
| DOI | Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Bernd Becker, Ralf Wimmer, Leonore Winterer. Correct-by-construction policies for POMDPs, Proceedings of the fifth international workshop on symbolic-numeric methods for reasoning about CPS and IoT, 6-8, ACM Press, 2019. |
| DOI | Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas, Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, amsterdam, the netherlands, august 30-31, 2019 : proceedings / kim guldstrand larsen, tim willemse (eds.), 40-58, Springer, 2019. |
| DOI | Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees, Software engineering and formal methods : 17th international conference, SEFM 2019, oslo, norway, september 18-20, 2019 : Proceedings / peter csaba ölveczky, gwen salaün (eds.), 513-531, Springer, 2019. |
| DOI | Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow. Multiple Analyses, Requirements Once : Simplifying Testing and Verification in Automotive Model-Based Development, Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, amsterdam, the netherlands, august 30-31, 2019 : proceedings / kim guldstrand larsen, tim willemse (eds.), 59-75, Springer, 2019. |
| DOI | Dario Guidotti, Francesco Leofante, Armando Tacchella, Claudio Castellini. Improving Reliability of Myocontrol Using Formal Verification, 564-571, IEEE, 2019. |
| DOI | Dario Guidotti, Francesco Leofante, Claudio Castellini, Armando Tacchella. Repairing Learned Controllers with Convex Optimization: A Case Study, Integration of constraint programming, artificial intelligence, and operations research : 16th international conference, CPAIOR 2019, thessaloniki, greece, june 4-7, 2019, proceedings / edited by louis-martin rousseau, kostas stergiou, 364-373, Springer, 2019. |
| DOI | Arthur Bit-Monnot, Francesco Leofante, Luca Pulina, Armando Tacchella. SMT-based Planning for Robots in Smart Factories, Advances and trends in artificial intelligence : from theory to practice : 32nd international conference on industrial, engineering and other applications of applied intelligent systems, IEA/AIE 2019, graz, austria, july 9-11, 2019 : proceedings / franz wotawa, gerhard friedrich, ingo pill, roxane koitz-hristov, moonis ali (eds.), 674-686, Springer, 2019. |
| DOI | . 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany, 1 Online-Ressource : Illustrationen, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2019. |
| DOI | Stefan Schupp. State set representations and their usage in the reachability analysis of hybrid systems, 1 Online-Ressource (217 Seiten) : Illustrationen, Diagramme, 2019. |
| DOI | Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking, Computing and software science : state of the art and perspectives / Bernhard Steffen, Gerhard Woeginger (Eds.), 420-451, Springer, 2019. |
| DOI | Milan Češka, Hans Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Model Repair Revamped, From reactive systems to cyber-physical systems : Essays dedicated to scott a. Smolka on the occasion of his 65th birthday / edited by ezio bartocci, rance cleaveland, radu grosu, oleg sokolsky, 107-125, Springer International Publishing, 2019. |
| DOI | Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems, 104431, Elsevier, 2019. |
| DOI | Tobias Winkler, Sebastian Junges, Guillermo A. Pérez, Joost-Pieter Katoen. On the Complexity of Reachability in Parametric Markov Decision Processes, 30th international conference on concurrency theory : CONCUR 2019, august 27-30, 2019, amsterdam, the netherlands / edited by wan fokkink, rob van glabbeek, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2019. |
| DOI | Joshua Moerman, Matteo Sammartino. Residual Nominal Automata, 25 Seiten, 2019. |
| DOI | Joshua Moerman, Jurriaan Rot. Separation and Renaming in Nominal Sets, 23 Seiten, 2019. |
| DOI | Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Are Parametric Markov Chains Monotonic?, Automated technology for verification and analysis : 17th international symposium, ATVA 2019, taipei, taiwan, october 28-31, 2019 : proceedings / yu-fang chen, chih-hong cheng, javier esparza (eds.), 479-496, Springer, 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 | 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. |
| 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. |