E-LIB Suche - Ergebnisse für: Mario Gleirscher

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

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/..

3

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/..

4

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/..

5

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..

6

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/..

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

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/..

10

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/..

11

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/..

12

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/..

13

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/..

14

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/..

15

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/..