Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Meira-Goes, Romulo
78  Ergebnisse:
Personensuche X
?
1

Safe Planning Through Incremental Decomposition of Signal T..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Kapoor, Parv ; Kang, Eunsuk ; Meira-Góes, Rômulo - p. 377-396 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Safe Environmental Envelopes of Discrete Systems:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Meira-Góes, Rômulo ; Dardik, Ian ; Kang, Eunsuk.. - p. 326-350 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Robustification of Behavioral Designs against Environmental..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE),
Zhang, Changjian ; Saluja, Tarang ; Meira-Goes, Romulo... - p. 423-434 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Fortis: A Tool for Analysis and Repair of Robust Software S..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),
Zhang, Changjian ; Dardik, Ian ; Meira-Goes, Romulo.. - p. 1-9 , 2023
Link: https://doi.org/10.34727..
 
?
5

Runtime Resolution of Feature Interactions through Adaptive..:

, In: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Chu, Simon ; Shedden, Emma ; Zhang, Changjian... - p. 115-125 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Risk-Averse Model Predictive Control for Priced Timed Autom..:

, In: 2023 American Control Conference (ACC),
Anbarani, Mostafa Tavakkoli ; Balta, Efe C. ; Meira-Goes, Romulo. - p. 4332-4338 , 2023
Link: https://doi.org/10.23919..
 
?
7

A Model Predictive Control Framework for Improving Risk-Tol..:

, In: 2023 IEEE Conference on Control Technology and Applications (CCTA),
Anbarani, Mostafa Tavakkoli ; Balta, Efe C. ; Meira-Goes, Romulo. - p. 136-142 , 2023
Link: https://doi.org/10.1109/..
 
?
8

Dealing with sensor and actuator deception attacks in super..:

Meira-Góes, Rômulo ; Marchand, Hervé ; Lafortune, Stéphane
Automatica.  147 (2023)  - p. 110736 , 2023
Link: https://doi.org/10.1016/..
 
?
9

On tolerance of discrete systems with respect to transition..:

Meira-Góes, Rômulo ; Kang, Eunsuk ; Lafortune, Stéphane.
Discrete Event Dynamic Systems.  33 (2023)  4 - p. 395-424 , 2023
Link: https://doi.org/10.1007/..
 
?
10

Requirements Engineering for Feedback Loops in Software-Int..:

, In: 2022 IEEE 30th International Requirements Engineering Conference Workshops (REW),
Kang, Eunsuk ; Meira-Goes, Romulo - p. 2-5 , 2022
Link: https://doi.org/10.1109/..
 
?
11

A Compact and Uniform Approach for Synthesizing State-Based..:

Meira-Goes, Romulo ; Weitze, Jack ; Lafortune, Stephane
IEEE Transactions on Automatic Control.  67 (2022)  7 - p. 3567-3573 , 2022
Link: https://doi.org/10.1109/..
 
?
12

Run-Time Adaptation of Quality Attributes for Automated Pla..:

, In: 2022 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Wohlrab, Rebekka ; Meira-Goes, Romulo ; Vierhauser, Michael - p. 98-105 , 2022
Link: https://doi.org/10.1145/..
 
?
13

Run-time adaptation of quality attributes for automated pla..:

, In: Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Wohlrab, Rebekka ; Meira-Góes, Rômulo ; Vierhauser, Michael - p. 98-105 , 2022
Link: https://dl.acm.org/doi/1..
 
?
14

Synthesis of Optimal Multiobjective Attack Strategies for C..:

Meira-Goes, Romulo ; Kwong, Raymond H. ; Lafortune, Stephane
IEEE Transactions on Automatic Control.  67 (2022)  6 - p. 2873-2888 , 2022
Link: https://doi.org/10.1109/..
 
?
15

Using Subobservers to Synthesize Opacity-Enforcing Supervis..:

Moulton, Richard Hugh ; Hamgini, Behnam Behinaein ; Khouzani, Zahra Abedi...
Discrete Event Dynamic Systems.  32 (2022)  4 - p. 611-640 , 2022
Link: https://doi.org/10.1007/..
 
1-15