Personensuche
X
?
Lecture Notes in Computer Science; NASA Formal Methods ,
1
Verifying PLC Programs via Monitors: Extending the Integrat..:
, In:
?
Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science ,
2
Authoring, Analyzing, and Monitoring Requirements for a Lif..:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
3
From Natural Language Requirements to the Verification of P..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
4
Capture, Analyze, Diagnose: Realizability Checking Of Requi..:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
6
From Partial to Global Assume-Guarantee Contracts: Composit..:
, In:
?
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ,
7
Synthesis of infinite-state systems with random behavior:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
9
Validity-Guided Synthesis of Reactive Systems from Assume-G..:
, In:
?
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering ,
11
Towards synthesis from assume-guarantee contracts involving..:
, In:
?
2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE) ,
12