Forschungsbereich Formal Methods in Systems Engineering

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
 
Code Kennzahl
E192-04
 
Type of Organization Organisationstyp
Research Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 1-19 of 19 (Search time: 0.007 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Nadel-2023-Proceedings of the 23rd Conference on Formal Methods in Comput...-vor.pdf.jpgNadel, Alexander ; Rozier, Kristin Yvonne Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023Proceedings Tagungsband Oct-2023
2Hajdu-2022-Getting Saturated withInduction-am.pdf.jpgHajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Reger, Giles ; Voronkov, Andrei Getting Saturated with InductionBook Contribution Buchbeitrag 29-Dec-2022
3Griggio-2022-Proceedings of the 22nd Conference on Formal Methods in Comp...-vor.pdf.jpgGriggio, Alberto ; Rungta, Neha Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022Proceedings Tagungsband Oct-2022
4Blanchette, Jasmin Christian ; Kovacs, Laura ; Pattinson, Dirk Automated Reasoning: 11th International Joint Conference (IJCAR 2022)Proceedings Konferenzband8-Aug-2022
5Meinke, Karl ; Kovacs, Laura Tests and ProofsProceedings Konferenzband1-Jun-2022
6Piskac-2021-Proceedings of the 21st Conference on Formal Methods in Compu...-vor.pdf.jpgPiskac, Ruzica ; Whalen, Michael W. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021Konferenzband Proceedings Oct-2021
7Albert, Elvira ; Kovacs, Laura Proceedings of the 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23)Konferenzband Proceedings 2020
8Konnov, Igor ; Kovacs, Laura Proceedings of the 31st International Conference on Concurrency Theory (CONCUR)Konferenzband Proceedings2020
9Ivrii Alexander - 2020 - Proceedings of the 20th Conference on Formal Methods in...pdf.jpgIvrii, Alexander ; Strichman, Ofer Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020Proceedings Tagungsband 2020
10Kovacs, Laura ; Voronkov, Andrei Vampire 2017. Proceedings of the 4th Vampire WorkshopKonferenzband Proceedings2018
11Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
12Chockler, Hana ; Weissenbacher, Georg Computer Aided VerificationBuch Book 2018
13Stewart, Daryl ; Weissenbacher, Georg Proceedings of Formal Methods in Computer Aided Design, FMCAD 2017Konferenzband Proceedings2017
14Bloem, Roderick ; Jacobs, Swen ; Khalimov, Ayrat ; Konnov, Igor ; Rubin, Sasha ; Veith, Helmut ; Widder, Josef Decidability of Parameterized VerificationBuch Book2015
15Gmeiner, Annu ; Konnov, Igor ; Schmid, Ulrich ; Veith, Helmut ; Widder, Josef Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed AlgorithmsBuchbeitrag Book Contribution2014
16Sharygina, Natasha ; Veith, Helmut CAVBuch Book2013
17Charron-Bost, Bernadette ; Merz, Stephan ; Rybalchenko, Andrey ; Widder, Josef Formal Verification of Distributed AlgorithmsKonferenzband Proceedings2013
18Katzenbeisser, Stefan ; Kinder, Johannes ; Veith, Helmut Malware DetectionBuchbeitrag Book Contribution2011
19Samer, Marko ; Veith, Helmut From Temporal Logic Queries to Vacuity DetectionBuchbeitrag Book Contribution2006