![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 3
Konferenzbeitrag
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Wachowitz, Henrik
(2023):
CoVeriTeam Service: Verification as a Service.
45th IEEE/ACM International Conference on Software Engineering (ICSE), Melbourne, Australia, 14. - 20. Mai 2023.
Institute of Electrical and Electronics Engineers (Hrsg.),
In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Piscataway: IEEE. S. 21-25
[PDF, 286kB]
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Wachowitz, Henrik
(2023):
CoVeriTeam Service: Verification as a Service.
45th IEEE/ACM International Conference on Software Engineering (ICSE), Melbourne, Australia, 14. - 20. Mai 2023.
Institute of Electrical and Electronics Engineers (Hrsg.),
In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Piscataway: IEEE. S. 21-25
[PDF, 286kB]
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2022):
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
.
In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13241
Cham, Switzerland: Springer. S. 49-70
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2022):
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
.
In: Fundamental Approaches to Software Engineering. 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Lecture Notes in Computer Science
Bd. 13241
Cham, Switzerland: Springer. S. 49-70
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662 und Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175
(2022):
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.
28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022.
Fisman, Dana (Hrsg.):
In: Tools and algorithms for the construction and analysis of systems. Part 1. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Lecture Notes in Computer Science
Bd. 13243
Cham, Switzerland: Springer. S. 561-579
ORCID: https://orcid.org/0000-0003-4832-7662 und Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175
(2022):
CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.
28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022.
Fisman, Dana (Hrsg.):
In: Tools and algorithms for the construction and analysis of systems. Part 1. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022 : proceedings, Lecture Notes in Computer Science
Bd. 13243
Cham, Switzerland: Springer. S. 561-579