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

Verifying PLC Programs via Monitors: Extending the Integrat..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Fink, Xaver ; Mavridou, Anastasia ; Katis, Andreas. - p. 427-435 , 2024
Link: https://doi.org/10.1007/..
 
?
2

From Natural Language Requirements to the Verification of P..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Ádám, Zsófia ; Lopez-Miguel, Ignacio D. ; Mavridou, Anastasia... - p. 353-360 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Authoring, Analyzing, and Monitoring Requirements for a Lif..:

, In: Requirements Engineering: Foundation for Software Quality; Lecture Notes in Computer Science,
Pressburger, Tom ; Katis, Andreas ; Dutle, Aaron. - p. 295-308 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Capture, Analyze, Diagnose: Realizability Checking Of Requi..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Katis, Andreas ; Mavridou, Anastasia ; Giannakopoulou, Dimitra.. - p. 490-504 , 2022
Link: https://doi.org/10.1007/..
 
?
5

From Partial to Global Assume-Guarantee Contracts: Composit..:

, In: Formal Methods; Lecture Notes in Computer Science,
Mavridou, Anastasia ; Katis, Andreas ; Giannakopoulou, Dimitra... - p. 503-523 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Synthesis of infinite-state systems with random behavior:

, In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering,
Katis, Andreas ; Fedyukovich, Grigory ; Chen, Jeffrey... - p. 250-261 , 2020
Link: https://dl.acm.org/doi/1..
 
?
7

Validity-Guided Synthesis of Reactive Systems from Assume-G..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Katis, Andreas ; Fedyukovich, Grigory ; Guo, Huajun... - p. 176-193 , 2018
Link: https://doi.org/10.1007/..
 
?
8

Towards synthesis from assume-guarantee contracts involving..:

, In: Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering,
Katis, Andreas ; Gacek, Andrew ; Whalen, Michael W. - p. 36-41 , 2016
Link: https://dl.acm.org/doi/1..
 
?
9

Towards Synthesis from Assume-Guarantee Contracts involving..:

, In: 2016 IEEE/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE),
Katis, Andreas ; Gacek, Andrew ; Whalen, Michael W. - p. 36-41 , 2016
Link: https://doi.org/10.1145/..
 
?
10

Synthesis of Infinite-State Systems with Random Behavior:

Katis, Andreas ; Fedyukovich, Grigory ; Chen, Jeffrey...
http://arxiv.org/abs/2009.12330.  , 2020
Link: http://arxiv.org/abs/200..
 
?
11

Validity-Guided Synthesis of Reactive Systems from Assume-G..:

Katis, Andreas ; Fedyukovich, Grigory ; Guo, Huajun...
http://arxiv.org/abs/1709.04986.  , 2017
Link: http://arxiv.org/abs/170..
 
?
12

Towards Synthesis from Assume-Guarantee Contracts involving..:

Katis, Andreas ; Whalen, Michael W ; Gacek, Andrew
http://arxiv.org/abs/1602.00148.  , 2016
Link: http://arxiv.org/abs/160..
 
?
13

Synthesis from Assume-Guarantee Contracts using Skolemized ..:

Katis, Andreas ; Fedyukovich, Grigory ; Gacek, Andrew...
http://arxiv.org/abs/1610.05867.  , 2016
Link: http://arxiv.org/abs/161..
 
?
14

Towards Realizability Checking of Contracts using Theories:

Gacek, Andrew ; Katis, Andreas ; Whalen, Michael W..
http://arxiv.org/abs/1502.03005.  , 2015
Link: http://arxiv.org/abs/150..
 
?
15

Machine-Checked Proofs For Realizability Checking Algorithm:

Katis, Andreas ; Gacek, Andrew ; Whalen, Michael W
http://arxiv.org/abs/1502.01292.  , 2015
Link: http://arxiv.org/abs/150..
 
1-15