Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gleirscher, Mario
88  Ergebnisse:
Personensuche X
?
1

Does Every Computer Scientist Need to Know Formal Methods?:

Broy, Manfred ; Brucker, Achim ; Fantechi, Alessandro...
Formal Aspects of Computing.  , 2024
Link: https://doi.org/10.1145/..
 
?
2

Complete Property-Oriented Module Testing:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Brüning, Felix ; Gleirscher, Mario ; Huang, Wen-ling... - p. 183-201 , 2023
Link: https://doi.org/10.1007/..
 
?
3

A manifesto for applicable formal methods:

Gleirscher, Mario ; van de Pol, Jaco ; Woodcock, Jim
Software and Systems Modeling.  22 (2023)  6 - p. 1737-1749 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Probabilistic Risk Assessment of an Obstacle Detection Syst..:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
Gleirscher, Mario ; Haxthausen, Anne E. ; Peleska, Jan - p. 26-36 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Supervision of Intelligent Systems: An Overview:

, In: Lecture Notes in Computer Science; Applicable Formal Methods for Safe Industrial Products,
Gleirscher, Mario - p. 202-221 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Qualification of proof assistants, checkers, and generators..:

Gleirscher, Mario ; Sachtleben, Robert ; Peleska, Jan
Science of Computer Programming.  226 (2023)  - p. 102930 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Verified synthesis of optimal safety controllers for human-..:

Gleirscher, Mario ; Calinescu, Radu ; Douthwaite, James...
Science of Computer Programming.  218 (2022)  - p. 102809 , 2022
Link: https://doi.org/10.1016/..
 
?
8

Wie geht es dem akademischen Mittelbau?: Eine Umfrage:

Gleirscher, Mario ; Lenk, Kerstin ; Loebel, Jens-Martin..
Informatik Spektrum.  45 (2022)  4 - p. 246-258 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Integration of Formal Proof into Unified Assurance Cases wi..:

Foster, Simon ; Nemouchi, Yakoub ; Gleirscher, Mario..
Formal Aspects of Computing.  33 (2021)  6 - p. 855-884 , 2021
Link: https://doi.org/10.1007/..
 
?
10

RiskStructures: A design algebra for risk-aware machines:

Gleirscher, Mario ; Calinescu, Radu ; Woodcock, Jim
Formal Aspects of Computing.  33 (2021)  4-5 - p. 763-802 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Integration of Formal Proof into Unified Assurance Cases - ..:

Foster, Simon ; Nemouchi, Yakoub ; Gleirscher, Mario..
ITNOW.  63 (2021)  3 - p. 66-66 , 2021
Link: https://doi.org/10.1093/..
 
?
12

Hybrid Systems Verification with Isabelle/HOL: Simpler Synt..:

, In: Formal Methods; Lecture Notes in Computer Science,
Foster, Simon ; Huerta y Munive, Jonathan Julián ; Gleirscher, Mario. - p. 367-386 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Challenges in the Safety-Security Co-Assurance of Collabora..:

, In: The 21st Century Industrial Robot: When Tools Become Collaborators; Intelligent Systems, Control and Automation: Science and Engineering,
Gleirscher, Mario ; Johnson, Nikita ; Karachristou, Panayiotis... - p. 191-214 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Formal methods in dependable systems engineering: a survey ..:

Gleirscher, Mario ; Marmsoler, Diego
Empirical Software Engineering.  25 (2020)  6 - p. 4473-4546 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Lage und Zukunft des wissenschaftlichen Nachwuchses: Eine S..:

Lenk, Kerstin ; Gleirscher, Mario ; Nestler, Simon...
Informatik Spektrum.  43 (2020)  2 - p. 94-102 , 2020
Link: https://doi.org/10.1007/..
 
1-15