„Model-checking“

Suchergebnisse

1.904 Treffer

• Language Based Verification Tools for Functional Programs (Dagstuhl Seminar 16131)
  Gaboardi, Marco ; Jagannathan, Suresh ; Jhala, Ranjit ; Weirich, Stephanie
• Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)
  Filieri, Antonio ; Kwiatkowska, Marta ; Misailovic, Sasa ; Mytkowicz, Todd
• Formal Foundations for Networking (Dagstuhl Seminar 15071)
  Bjorner, Nikolaj ; Foster, Nate ; Godfrey, Philip Brighten ; Zave, Pamela
• VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
  Lomuscio, Alessio R. ; Pinchinat, Sophie ; Schlingloff, Holger
• Formal Verification of Distributed Algorithms (Dagstuhl Seminar 13141)
  Charron-Bost, Bernadette ; Merz, Stephan ; Rybalchenko, Andrey ; Widder, Josef
• Software Synthesis (Dagstuhl Seminar 12152)
  Bodík, Rastislav ; Gulwani, Sumit ; Yahav, Eran
• Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101)
  Dix, Jürgen ; Jamroga, Wojtek ; Samet, Dov
• A provably safe controller for the needle-steering problem using online strategy synthesis
  Lehmann, Sascha ; Rogalla, Antje ; Neidhardt, Maximilian ; Schlaefer, Alexander ; Schupp, Sibylle 2025 Technische Universität Hamburg. Universitätsbibliothek
• Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text
  Garanina, N. O. ; Staroletov, S. M. ; Zyubin, V. E. ; Anureev, I. S.
• Analyzing Phylogenetic Trees with Timed and Probabilistic Model Checking: The Lactose Persistence Case Study
  Requeno, José Ignacio ; Colom, José Manuel
• Model checking software for phylogenetic trees using distribution and database methods
  Requeno, José Ignacio ; Colom, José Manuel
• Analysing futex-based synchronisation primitives using model checking
  Evrard, Hugues ; Donaldson, Alastair F.
• Classifying and fact-checking health-related information about COVID-19 on Twitter/X using machine learning and deep learning models
  Sharifpoor, Elham ; Okhovati, Maryam ; Ghazizadeh-Ahsaee, Mostafa ; Avaz Beigi, Mina
• Six years later: testing vs. model checking
  Beyer, Dirk ; Lemberger, Thomas
• Conformance Checking – Relating Processes and Models
  Carmona, Josep ; Dongen, Boudewijn ˜vanœ ; Solti, Andreas ; Weidlich, Matthias 2018 Springer International Publishing
• Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata
  Herber, Paula
• Beschreibung und Verifikation räumlicher und zeitlicher Eigenschaften mobiler Systeme Specification and Verification of Spatio-Temporal Properties of Mobile Systems
  Schäfer, Andreas
• Semantics of the Probabilistic Typed Lambda Calculus – Markov Chain Semantics, Termination Behavior, and Denotational Semantics
  Draheim, Dirk 2017 Springer Berlin
• Detection strategies for microservice security tactics
  Zdun, Uwe ; Queval, Pierre-Jean ; Simhandl, Georg ; Scandariato, Riccardo ; Chakravarty, Somik ; Jelić, Marjan ; Jovanovic, Aleksandar 2024 Technische Universität Hamburg. Universitätsbibliothek
• Qualitative and Quantitative Model Checking Against Recurrent Neural Networks
  Liang, Zhen ; Liu, Wan-Wei ; Song, Fu ; Xue, Bai ; Yang, Wen-Jing ; Wang, Ji ; Pang, Zheng-Bin