„parameterized verification“

Suchergebnisse

1.000+ Treffer

• Parameterized Verification of Timed Networks with Clock Invariants
  André, Étienne ; Jacobs, Swen ; Karra, Shyam Lal ; Sankur, Ocan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mechanical Verification of Parameterized Real-Time Systems
  Göthel, Thomas ; Glesner, Sabine 2012 Universitätsbibliothek der Technischen Universität Berlin
• Exploring the limits of parameterized system verification
  Stahl, Karsten
• Abstraction-based verification of parameterized networks
  Baukus, Kai
• Verification, Model Checking, and Abstract Interpretation – 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
  Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella 2013 Springer Berlin Heidelberg
• Formal Techniques for Distributed Systems – Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings
  Giese, Holger ; Rosu, Grigore 2012 Springer Berlin Heidelberg
• Formal Techniques for Distributed Systems – Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings
  Bruni, Roberto ; Dingel, Juergen 2011 Springer Berlin Heidelberg
• Theory and Practice of Algorithms in (Computer) Systems – First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
  Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer Berlin Heidelberg
• Correction: Parameterized verification of leader/follower systems via first-order temporal logic
  Kourtis, G. ; Dixon, Clare ; Fisher, Michael ; Lisitsa, A.
• Parameterized verification and repair of concurrent systems
  Sakr, Mouhammad 2021 Saarländische Universitäts- und Landesbibliothek
• Parameterized Systems in BIP: Design and Model Checking
  Konnov, Igor ; Kotek, Tomer ; Wang, Qiang ; Veith, Helmut ; Bliudze, Simon ; Joseph Sifakis 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Phase-Bounded Broadcast Networks over Topologies of Communication
  Guillou, Lucie ; Sangnier, Arnaud ; Sznajder, Nathalie 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verification of Population Protocols with Unordered Data
  Bergerem, Steffen ˜vanœ ; Guttenberg, Roland ; Kiefer, Sandra ; Mascle, Corto ; Waldburger, Nicolas ; Weil-Kennedy, Chana 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking Presence Reachability Properties on Parameterized Shared-Memory Systems
  Waldburger, Nicolas 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On an Invariance Problem for Parameterized Concurrent Systems
  Bozga, Marius ; Bueri, Lucas ; Iosif, Radu 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Model Checking Upside-Down: An Invariant-Based Approach
  Esparza, Javier ; Raskin, Mikhail ; Welzel, Christoph 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized Safety Verification of Round-Based Shared-Memory Systems
  Bertrand, Nathalie ; Markey, Nicolas ; Sankur, Ocan ; Waldburger, Nicolas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Complexity of Coverability in Bounded Path Broadcast Networks
  Balasubramanian, A. R. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Automating and Mechanising Cutoff Proofs for Parameterized Verification of Distributed Protocols
  Bhat, Shreesha G. ; Nagar, Kartik 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Synthesizing Safe Coalition Strategies
  Bertrand, Nathalie ; Bouyer, Patricia ; Majumdar, Anirban 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik