-
Cross-DistBlock: Blockchain-Enabled Multi-stage Flow Verification in Multi-domain Software-Defined Networks
Bargayary, Birglang ; Medhi, Nabajyoti
-
Formale Verifikation der Korrektheit sicherheitskritischer Java Anwendungen
Grandy, Holger 2008 Universität Augsburg
-
Runtime verification – 9th international workshop ; selected papers
Bensalem, Saddek 2009 Springer
-
Verification of the C0 compiler implementation on the source code level
Petrova, Elena
-
Specification and verification of object oriented software components
Roth, Andreas 2006 Univ.-Verl. Karlsruhe
-
Verification of Erlang programs using abstract interpretation and model checking
Huch, Frank Günter
-
Software verification for programmable logic controllers
Huuck, Ralf
-
Algebraic and Numeric Biology – 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
Horimoto, Katsuhisa ; Nakatsui, Masahiko ; Popov, Nikolaj 2012 Springer International Publishing
-
Fundamental Approaches to Software Engineering – 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
2017 Springer International Publishing
-
Evaluation of Novel Approaches to Software Engineering – 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
Filipe, Joaquim ; Maciaszek, Leszek A. 2015 Springer International Publishing
-
Perspectives of System Informatics – 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
2015 Springer Berlin Heidelberg
-
Formal Methods: Foundations and Applications – 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Braga, Christiano ; Martí-Oliet, Narciso 2015 Springer International Publishing
-
Hardware and Software: Verification and Testing – 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings
Biere, Armin ; Nahir, Amir ; Vos, Tanja 2014 Springer International Publishing
-
Software Engineering for Resilient Systems – 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings
Gorbenko, Anatolij ; Romanovsky, Alexander ; Kharchenko, Vyacheslav 2014 Springer International Publishing
-
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
-
Testing Software and Systems – 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Merayo, Mercedes G. ; Montes de Oca, Edgardo 2014 Springer Berlin Heidelberg
-
Formal Methods for Industrial Critical Systems – 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
Pecheur, Charles ; Dierkes, Michael 2014 Springer Berlin Heidelberg
-
From Programs to Systems. The Systems perspective in Computing – ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings
Bensalem, Saddek ; Sifakis, Joseph ; Lakhneck, Yassine ; Legay, Axel 2014 Springer Berlin Heidelberg
-
Formal Techniques for Distributed Objects, Components, and Systems – 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings
Ábrahám, Erika ; Palamidessi, Catuscia 2014 Springer Berlin Heidelberg
-
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