„Software Verification“

Suchergebnisse

1.000+ Treffer

• Towards an Isabelle theory for distributed, interactive systems
  Kausch, Hendrik ; Pfeiffer, Mathias ; Raco, Deni ; Rumpe, Bernhard ; Stüber, Sebastian ; Wollenhaupt, Lucas 2025 Shaker Verlag
• Parallelized and distributed task based ontology matching in clustering environment with semantic verification
  Mittra, Tanni ; Ali, Muhammad Masroor
• LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact)
  Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira
• First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
  Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zălinescu, Eugen ; Zhang, Yi
• ProFeat – Feature-oriented engineering for family-based probabilistic model checking
  Chrszon, Philipp ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Baier, Christel 2020 Technische Universität Dresden
• Guest editors’ introduction: Advancements and extensions of verification techniques
  Katoen, Joost-Pieter ; Stevens, Perdita
• Numerical Software with Result Verification (Dagstuhl Seminar 03041)
  Alt, René ; Frommer, Andreas ; Kearfott, Ralph Baker ; Luther, Wolfram 2003 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• 10431 Report – Software Engineering for Self-Adaptive Systems
  de Lemos, Rogerio ; Giese, Holger ; Müller, Hausi ; Shaw, Mary
• Enterprise and Organizational Modeling and Simulation – 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
  Pergl, Robert ; Lock, Russell ; Babkin, Eduard ; Molhanec, Martin 2017 Springer Berlin Heidelberg
• LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract)
  Haas, Julian ; Mogk, Ragnar ; Yanakieva, Elena ; Bieniusa, Annette ; Mezini, Mira 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness
  Ramadan, Qusai ; Konersmann, Marco ; Ahmadian, Amirshayan ; Jürjens, Jan ; Staab, Steffen
• Towards an Isabelle theory for distributed, interactive systems
  Bürger, Jens Christoph ; Stüber, Sebastian ; Raco, Deni ; Rumpe, Prof. Dr. rer. nat. Bernhard ; Kausch, Hendrik ; Ringert, Jan Oliver ; Wiartalla, Marc 2020 Shaker Verlag
• Formal Software Engineering of Distributed Systems using Focus-Streams and Automata
  Stüber, Sebastian 2026 Shaker
• 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
• Verification of parametric concurrent systems with prioritised FIFO resource management
  Bouajjani, Ahmed ; Habermehl, Peter ; Vojnar, Tomáš
• Challenges of software verification: the past, the present, the future
  Ferrara, Pietro ; Arceri, Vincenzo ; Cortesi, Agostino
• Generality in design and compositional verification usingTav
  Børjesson, Anders ; Larsen, Kim Guldstrand ; Skou, Arne
• Images as graphical password: verification and analysis using non-regular low-density parity check coding
  Singh, Uday Pratap ; Chouhan, Siddharth Singh ; Jain, Sanjeev
• Theory and practice of computer science – proceedings
  Černá, Ivana ; Gyimóthy, Tibor ; Hromkovič, Juraj ; Jefferey, Keith ; Kralovic, Rastislav ; Vukolic, Marko ; Wolf, Stefan 2011 Springer