„Model Checking“

Suchergebnisse

1.000+ Treffer

• Language-independent look-ahead for checking multi-perspective declarative process models
  Käppel, Martin ; Ackermann, Lars ; Schönig, Stefan ; Jablonski, Stefan 2021 Universität Bayreuth
• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Money in monetary policy design: monetary cross-checking in the New-Keynesian model
  Beck, Günter W. ; Wieland, Volker 2009 Univ.-Bibliothek Frankfurt am Main
• Watchfully checking rapport with the Primary Child Health Care nurses - a theoretical model from the perspective of parents of foreign origin
  Berlin, Anita ; Törnkvist, Lena ; Hylander, Ingrid
• Parameterised complexity of model checking and satisfiability in propositional dependence logic
  Mahmood, Yasir ; Meier, Arne
• Online conformance checking: relating event streams to process models using prefix-alignments
  Zelst, Sebastiaan J. van ; Bolt, Alfredo ; Hassani, Marwan ; Dongen, Boudewijn ˜vanœ ; Aalst, Wil ˜van derœ
• Model checking multi-level and recursive nets
  Fernández Venero, Mirtha Lina ; Corrêa da Silva, Flávio Soares
• Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)
  Junges, Sebastian ; Katoen, Joost-Pieter ; Sanner, Scott ; Van den Broeck, Guy ; Salmani, Bahare
• Inference on population history and model checking using DNA sequence and microsatellite data with the software DIYABC (v1.0)
  Cornuet, Jean-Marie ; Ravigné, Virgine ; Estoup, Arnaud
• On the use of nonparametric regression for model checking
  Azzalini, Adelchi ; Bowman, Adrian W. ; Härdle, Wolfgang 1988 Sonderforschungsbereich 303
• Optimal spare management via statistical model checking: a case study in research reactors
  Soltani, Reza ; Volk, Matthias ; Diamonte, Leonardo ; Lopuhaä-Zwakenberg, Milan ; Stoelinga, Mariëlle
• Probabilistic model checking of cancer metabolism
  Friedenberg, Meir D. ; Lita, Adrian ; Gilbert, Mark R. ; Larion, Mioara ; Celiku, Orieta
• Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
  Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian
• Software Engineering and Formal Methods – 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings
  Hierons, Robert M. ; Merayo, Mercedes G. ; Bravetti, Mario 2014 Springer International Publishing
• Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171)
  Beyer, Dirk ; Huisman, Marieke ; Klebanov, Vladimir ; Monahan, Rosemary
• Another Look at LTL Model Checking
  Clarke, Edmund M. ; Grumberg, Orna ; Hamaguchi, Kiyoharu
• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Formal Verification in Automated Manufacturing
  Tang, Yiheng ; Moor, Thomas ; Raisch, Jörg 2024 FAU University Press
• Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen
  Spisländer, Marc ; Freiling, Felix C. ; Saglietti, Francesca 2018 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Theory and practice of computer science – proceedings
  Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer