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

Synthesizing LTL contracts from component libraries using r..:

Iannopollo, Antonio ; Incer, Inigo ; Sangiovanni-Vincentelli, Alberto L.
Science of Computer Programming.  236 (2024)  - p. 103116 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Layered Control Systems Operating on Multiple Clocks:

Incer, Inigo ; Csomay-Shanklin, Noel ; Ames, Aaron D..
IEEE Control Systems Letters.  8 (2024)  - p. 1211-1216 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Constraint-Behavior Contracts: A Formalism for Specifying P..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,
Yu, Sheng-Jung ; Incer, Inigo ; Sangiovanni-Vincentelli, Alberto - p. 180-190 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Early Design Exploration of Space System Scenarios Using As..:

, In: 2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT),
Rouquette, Nicolas ; Incer, Inigo ; Pinto, Alessandro - p. 15-24 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Contract Replaceability for Ensuring Independent Design usi..:

, In: Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design,
Yu, Sheng-Jung ; Incer, Inigo ; Sangiovanni-Vincentelli, Alberto - p. 111-121 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Contract-Based Specification Refinement and Repair for Miss..:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Mallozzi, Piergiuseppe ; Incer, Inigo ; Nuzzo, Pierluigi. - p. 29-38 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Symbiotic CPS Design-Space Exploration through Iterated Opt..:

, In: Proceedings of Cyber-Physical Systems and Internet of Things Week 2023,
Yu, Sheng-Jung ; Incer, Inigo ; Prabhu, Valmik... - p. 92-99 , 2023
Link: https://dl.acm.org/doi/1..
 
?
8

Reasoning over Test Specifications Using Assume-Guarantee C..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Badithela, Apurva ; Graebener, Josefine B. ; Incer, Inigo. - p. 278-294 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Hypercontracts:

, In: Lecture Notes in Computer Science; NASA Formal Methods,
Incer, Inigo ; Benveniste, Albert ; Sangiovanni-Vincentelli, Alberto. - p. 674-692 , 2022
Link: https://doi.org/10.1007/..
 
?
10

From Interface Automata to Hypercontracts:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Incer, Inigo ; Benveniste, Albert ; Sangiovanni-Vincentelli, Alberto. - p. 477-493 , 2022
Link: https://doi.org/10.1007/..
 
?
11

The cyber-physical immune system : work-in-progress:

, In: Proceedings of the 2021 International Conference on Embedded Software,
Pang, Bo ; Verma, Ashank ; Zhou, Jingchao.. - p. 43-44 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Coherent Extension, Composition, and Merging Operators in C..:

Passerone, Roberto ; Íncer Romeo, Íñigo ; Sangiovanni-Vincentelli, Alberto L.
ACM Transactions on Embedded Computing Systems.  18 (2019)  5s - p. 1-23 , 2019
Link: https://doi.org/10.1145/..
 
?
13

Coherent Extension, Composition, and Merging Operators in C..:

Passerone, Roberto ; Íncer Romeo, Íñigo ; Sangiovanni-Vincentelli, Alberto L.
ACM Transactions on Embedded Computing Systems (TECS).  18 (2019)  5s - p. 1-23 , 2019
Link: https://dl.acm.org/doi/1..
 
?
14

Quotient for assume-guarantee contracts:

, In: Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Íncer Romeo, Íñigo ; Sangiovanni-Vincentelli, Alberto ; Lin, Chung-Wei. - p. 67-77 , 2018
Link: https://dl.acm.org/doi/1..
 
?
15

Adversarially Robust Malware Detection Using Monotonic Clas..:

, In: Proceedings of the Fourth ACM International Workshop on Security and Privacy Analytics,
Íncer Romeo, Íñigo ; Theodorides, Michael ; Afroz, Sadia. - p. 54-63 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15