„Timed Automata“

Suchergebnisse

1.000+ Treffer

• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Time for Timed Monitorability
  Grosen, Thomas M. ; Kauffman, Sean ; Larsen, Kim Guldstrand ; Zimmermann, Martin 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 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
• Execution-Time Opacity Problems in One-Clock Parametric Timed Automata
  André, Étienne ; Arcile, Johan ; Lefaucheux, Engel 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed parametric model checking timed automata under non-Zenoness assumption
  André, Étienne ; Nguyen, Hoang Gia ; Petrucci, Laure ; Sun, Jun
• A Myhill-Nerode Style Characterization for Timed Automata with Integer Resets
  Doveri, Kyveli ; Ganty, Pierre ; Srivathsan, B. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using timed automata for modeling, simulating and verifying networked systems controller’s specifications
  Kunz, Guilherme ; Machado, José ; Perondi, Eduardo
• Concurrent timed port automata
  Grosu, Radu ; Rumpe, Bernhard 1995 Inst. für Informatik
• Multi-weighted Automata Models and Quantitative Logics
  Perevoshchikov, Vitaly ; Droste, Manfred ; Gastin, Paul 2015 Universitätsbibliothek Leipzig
• Modelling and Diagnosis of Timed Discrete-Event Systems
  Supavatanakul, Peerasan 2004 Shaker
• An online model-checking framework for timed automata
  Rinast, Jonas ; Schupp, Sibylle 2015 Universitätsbibliothek der Technischen Universität Hamburg-Harburg
• Automated composition of timed services in medical applications
  Stöhr, Daniel ; Glesner, Sabine ; Weske, Mathias ; Nestmann, Uwe 2014 Technische Universität Berlin
• Machine Learning of Timed Automata
  Schmidt, Jana A. ; Rost, Burkhard ; Kramer, Stefan 2013 Universitätsbibliothek der TU München
• Kleene-Schützenberger and Büchi theorems for weighted timed automata
  Quaas, Karin
• Directed model checking for timed automata
  Kupferschmid, Sebastian
• Formale Verifikation von Realzeit-Systemen mittels Cottbus-Timed-Automata
  Beyer, Dirk
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Formal Modeling and Analysis of Timed Systems – 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings
  Braberman, Victor ; Fribourg, Laurent 2014 Springer International Publishing
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Formal Modeling and Analysis of Timed Systems – 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
  2013 Springer Berlin Heidelberg