


default search action
Stavros Tripakis
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j40]Daniel Melcer, Christopher Amato, Stavros Tripakis:
Shield Decomposition for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. RLJ 4: 1965-1994 (2024) - [j39]Cole Vick
, Eunsuk Kang, Stavros Tripakis:
Counterexample classification. Softw. Syst. Model. 23(2): 455-472 (2024) - [c129]Daniel Melcer, Christopher Amato, Stavros Tripakis:
Shield Decentralization for Safe Reinforcement Learning in General Partially Observable Multi-Agent Environments. AAMAS 2024: 2384-2386 - [c128]Yuhao Zhou
, Stavros Tripakis
:
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. NFM 2024: 239-255 - [i32]William Schultz, Edward Ashton, Heidi Howard, Stavros Tripakis:
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing. CoRR abs/2404.18048 (2024) - [i31]Derek Egolf, William Schultz, Stavros Tripakis:
Efficient Synthesis of Symbolic Distributed Protocols by Sketching. CoRR abs/2405.07807 (2024) - 2023
- [j38]Rômulo Meira-Góes
, Eunsuk Kang, Stéphane Lafortune
, Stavros Tripakis:
On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. 33(4): 395-424 (2023) - [j37]Igor Buzhinsky
, Arseny Nerinovsky, Stavros Tripakis:
Metrics and methods for robustness evaluation of neural networks with generative models. Mach. Learn. 112(10): 3977-4012 (2023) - [c127]Derek Egolf, Stavros Tripakis:
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) 2023: 270-291 - [c126]Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune
, Stavros Tripakis:
Safe Environmental Envelopes of Discrete Systems. CAV (1) 2023: 326-350 - [c125]Derek Egolf, Stavros Tripakis:
Decoupled Fitness Criteria for Reactive Systems. SEFM 2023: 85-105 - [i30]Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Safe Environmental Envelopes of Discrete Systems. CoRR abs/2306.01025 (2023) - [i29]Derek Egolf, Stavros Tripakis:
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. CoRR abs/2306.02967 (2023) - [i28]Yuhao Zhou, Stavros Tripakis:
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems. CoRR abs/2312.10842 (2023) - 2022
- [j36]Stavros Tripakis
, Karen Rudie
:
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. IEEE Control. Syst. Lett. 6: 1652-1657 (2022) - [j35]Viorel Preoteasa, Iulia Dragomir
, Stavros Tripakis
:
The refinement calculus of reactive systems. Inf. Comput. 285(Part): 104819 (2022) - [c124]William Schultz, Ian Dardik, Stavros Tripakis:
Formal verification of a distributed dynamic reconfiguration protocol. CPP 2022: 143-152 - [c123]Lisa Oakley, Alina Oprea, Stavros Tripakis:
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CSF 2022: 380-395 - [c122]Tzu-Han Hsu, Borzoo Bonakdarpour, Eunsuk Kang, Stavros Tripakis:
Mapping Synthesis for Hyperproperties. CSF 2022: 486-500 - [c121]William Schultz, Ian Dardik, Stavros Tripakis:
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. FMCAD 2022: 273-283 - [c120]Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis:
On Neural Network Equivalence Checking Using SMT Solvers. FORMATS 2022: 237-257 - [c119]Daniel Melcer, Christopher Amato, Stavros Tripakis:
Shield Decentralization for Safe Multi-Agent Reinforcement Learning. NeurIPS 2022 - [i27]Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis:
On Neural Network Equivalence Checking using SMT Solvers. CoRR abs/2203.11629 (2022) - [i26]William Schultz, Ian Dardik, Stavros Tripakis:
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+. CoRR abs/2205.06360 (2022) - [i25]Derek Egolf, Stavros Tripakis:
Decoupled Fitness Criteria for Reactive Systems. CoRR abs/2212.12455 (2022) - 2021
- [j34]Srinivas Pinisetty
, Ankit Pradhan
, Partha S. Roop, Stavros Tripakis:
Compositional runtime enforcement revisited. Formal Methods Syst. Des. 59(1): 205-252 (2021) - [j33]Georgios Giantamidis, Stavros Tripakis, Stylianos Basagiannis
:
Learning Moore machines from input-output traces. Int. J. Softw. Tools Technol. Transf. 23(1): 1-29 (2021) - [c118]William Schultz, Siyuan Zhou, Ian Dardik, Stavros Tripakis:
Design and Analysis of a Logless Dynamic Reconfiguration Protocol. OPODIS 2021: 26:1-26:16 - [c117]Cole Vick, Eunsuk Kang, Stavros Tripakis:
Counterexample Classification. SEFM 2021: 312-331 - [c116]William Schultz, Siyuan Zhou, Stavros Tripakis:
Brief Announcement: Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. DISC 2021: 61:1-61:4 - [d1]Rômulo Meira-Góes
, Eunsuk Kang
, Stéphane Lafortune
, Stavros Tripakis:
Artifact for Paper: On tolerance of discrete systems with respect to transition perturbations. Zenodo, 2021 - [i24]William Schultz, Siyuan Zhou, Stavros Tripakis:
Design and Verification of a Logless Dynamic Reconfiguration Protocol in MongoDB Replication. CoRR abs/2102.11960 (2021) - [i23]Cole Vick, Eunsuk Kang, Stavros Tripakis:
Counterexample Classification. CoRR abs/2108.00885 (2021) - [i22]Stavros Tripakis, Karen Rudie:
Decentralized Observation of Discrete-Event Systems: At Least One Can Tell. CoRR abs/2108.04523 (2021) - [i21]William Schultz, Ian Dardik, Stavros Tripakis:
Formal Verification of a Distributed Dynamic Reconfiguration Protocol. CoRR abs/2109.11987 (2021) - [i20]Lisa Oakley, Alina Oprea, Stavros Tripakis:
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems. CoRR abs/2110.02125 (2021) - [i19]Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
On tolerance of discrete systems with respect to transition perturbations. CoRR abs/2110.04200 (2021) - 2020
- [j32]Iulia Dragomir
, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. Int. J. Softw. Tools Technol. Transf. 22(6): 689-708 (2020) - [c115]Georgios Giantamidis, Stylianos Basagiannis
, Stavros Tripakis:
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference. SAFECOMP 2020: 115-129 - [c114]Max von Hippel, Cole Vick
, Stavros Tripakis, Cristina Nita-Rotaru:
Automated Attacker Synthesis for Distributed Protocols. SAFECOMP 2020: 133-149 - [i18]Igor Buzhinsky, Arseny Nerinovsky, Stavros Tripakis:
Metrics and methods for robustness evaluation of neural networks with generative models. CoRR abs/2003.01993 (2020) - [i17]Max von Hippel, Cole Vick, Stavros Tripakis, Cristina Nita-Rotaru:
Automated Attacker Synthesis for Distributed Protocols. CoRR abs/2004.01220 (2020)
2010 – 2019
- 2019
- [j31]Antonio Iannopollo
, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Constrained synthesis from component libraries. Sci. Comput. Program. 171: 21-41 (2019) - [j30]Jan Reineke, Christos Stergiou, Stavros Tripakis
:
Basic problems in multi-view modeling. Softw. Syst. Model. 18(3): 1577-1611 (2019) - [j29]Fabio Cremona, Marten Lohstroh
, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
:
Hybrid co-simulation: it's about time. Softw. Syst. Model. 18(3): 1655-1679 (2019) - [c113]Eunsuk Kang, Stéphane Lafortune
, Stavros Tripakis:
Automated Synthesis of Secure Platform Mappings. CAV (1) 2019: 219-237 - [c112]Samarjit Chakraborty
, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar:
Cross-Layer Interactions in CPS for Performance and Certification. DATE 2019: 1439-1444 - [c111]Viorel Preoteasa, Iulia Dragomir
, Stavros Tripakis:
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI 2019: 577-600 - 2018
- [j28]Maria Pittou, Panagiotis Manolios
, Jan Reineke, Stavros Tripakis
:
Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions. Sci. Comput. Program. 167: 1-24 (2018) - [c110]Stavros Tripakis, Roberto Lublinerman:
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Principles of Modeling 2018: 449-477 - [c109]Yunus Emre Sahin, Necmiye Ozay
, Stavros Tripakis:
Multi-agent Coordination Subject to Counting Constraints: A Hierarchical Approach. DARS 2018: 265-281 - [c108]Antonio Iannopollo, Stavros Tripakis
, Alberto L. Sangiovanni-Vincentelli:
Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts. DATE 2018: 1574-1579 - [c107]Stavros Tripakis
:
Data-driven and model-based design. ICPS 2018: 103-108 - [c106]Fabio Cremona, Marten Lohstroh
, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis:
Hybrid Co-simulation: It's About Time. MoDELS 2018: 368 - [c105]Iulia Dragomir
, Viorel Preoteasa, Stavros Tripakis
:
The Refinement Calculus of Reactive Systems Toolset. TACAS (2) 2018: 201-208 - [p2]Sanjit A. Seshia, Natasha Sharygina, Stavros Tripakis:
Modeling for Verification. Handbook of Model Checking 2018: 75-105 - [i16]Artem Yushkovskiy, Stavros Tripakis:
Comparison of Two Theorem Provers: Isabelle/HOL and Coq. CoRR abs/1808.09701 (2018) - 2017
- [j27]Rüdiger Ehlers
, Stéphane Lafortune
, Stavros Tripakis
, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27(2): 209-260 (2017) - [j26]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. Formal Methods Syst. Des. 51(1): 154-199 (2017) - [j25]Srinivas Pinisetty
, Thierry Jéron
, Stavros Tripakis
, Yliès Falcone, Hervé Marchand, Viorel Preoteasa:
Predictive runtime verification of timed properties. J. Syst. Softw. 132: 353-365 (2017) - [j24]Rajeev Alur, Stavros Tripakis:
Automatic Synthesis of Distributed Protocols. SIGACT News 48(1): 55-90 (2017) - [j23]Antti Siirtola
, Stavros Tripakis
, Keijo Heljanko
:
When Do We Not Need Complex Assume-Guarantee Rules? ACM Trans. Embed. Comput. Syst. 16(2): 48:1-48:25 (2017) - [j22]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen
, Stavros Tripakis
, Reinhard von Hanxleden:
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16(5s): 178:1-178:25 (2017) - [c104]Viorel Preoteasa, Iulia Dragomir
, Stavros Tripakis
:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE 2017: 194-209 - [c103]Srinivas Pinisetty
, Partha S. Roop, Steven Smyth, Stavros Tripakis
, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. SPIN 2017: 80-89 - [i15]Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Synthesis of Property-Preserving Mappings. CoRR abs/1705.03618 (2017) - [i14]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
The Refinement Calculus of Reactive Systems. CoRR abs/1710.03979 (2017) - [i13]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
The Refinement Calculus of Reactive Systems Toolset. CoRR abs/1710.08195 (2017) - 2016
- [j21]Stavros Tripakis
:
Compositional Model-Based System Design and Other Foundations for Mastering Change. LNCS Trans. Found. Mastering Chang. 1: 113-129 (2016) - [j20]Stavros Tripakis
:
Compositionality in the Science of System Design. Proc. IEEE 104(5): 960-972 (2016) - [j19]Stavros Tripakis
, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal:
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. J. Signal Process. Syst. 85(1): 23-43 (2016) - [c102]Maria Pittou, Stavros Tripakis
:
Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions. FACS 2016: 73-91 - [c101]Antonio Iannopollo, Stavros Tripakis
, Alberto L. Sangiovanni-Vincentelli
:
Constrained Synthesis from Component Libraries. FACS 2016: 92-110 - [c100]Georgios Giantamidis, Stavros Tripakis
:
Learning Moore Machines from Input-Output Traces. FM 2016: 291-309 - [c99]Viorel Preoteasa, Stavros Tripakis
:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. LICS 2016: 768-777 - [c98]Fabio Cremona, Marten Lohstroh
, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
:
Step revision in hybrid Co-simulation with FMI. MEMOCODE 2016: 173-183 - [c97]Srinivas Pinisetty
, Stavros Tripakis
:
Compositional Runtime Enforcement. NFM 2016: 82-99 - [c96]Srinivas Pinisetty
, Viorel Preoteasa, Stavros Tripakis
, Thierry Jéron
, Yliès Falcone, Hervé Marchand:
Predictive runtime enforcement. SAC 2016: 1628-1633 - [c95]Fabio Cremona, Marten Lohstroh
, Stavros Tripakis
, Christopher X. Brooks, Edward A. Lee:
FIDE: an FMI integrated development environment. SAC 2016: 1759-1766 - [c94]Maria Pittou, Stavros Tripakis
:
Multi-view consistency for infinitary regular languages. SAMOS 2016: 148-155 - [c93]Iulia Dragomir
, Viorel Preoteasa, Stavros Tripakis
:
Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN 2016: 38-56 - [i12]Georgios Giantamidis, Stavros Tripakis:
Learning Moore Machines from Input-Output Traces. CoRR abs/1605.07805 (2016) - [i11]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR abs/1611.01337 (2016) - [i10]Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden:
Runtime enforcement of reactive systems using synchronous enforcers. CoRR abs/1612.05030 (2016) - [i9]Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis:
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR abs/1612.05494 (2016) - 2015
- [c92]Antti Siirtola
, Stavros Tripakis
, Keijo Heljanko
:
When Do We (Not) Need Complex Assume-Guarantee Rules? ACSD 2015: 30-39 - [c91]Rajeev Alur, Mukund Raghothaman
, Christos Stergiou, Stavros Tripakis
, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CAV (2) 2015: 395-412 - [c90]David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis
, Michael Wetter
:
Requirements for hybrid cosimulation standards. HSCC 2015: 179-188 - [c89]Valeriy Vyatkin, Cheng Pang, Stavros Tripakis
:
Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations. IECON 2015: 1970-1975 - [c88]Stavros Tripakis
:
Bridging the semantic gap between heterogeneous modeling formalisms and FMI. SAMOS 2015: 60-69 - [c87]Yang Yang, Stavros Tripakis
, Alberto L. Sangiovanni-Vincentelli:
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms. SAMOS 2015: 113-122 - [i8]Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Automatic Completion of Distributed Protocols with Symmetry. CoRR abs/1505.04409 (2015) - [i7]Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis:
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR abs/1510.04873 (2015) - [i6]Viorel Preoteasa, Stavros Tripakis:
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. CoRR abs/1510.06379 (2015) - [i5]Benjamin Caulfield, Markus N. Rabe, Sanjit A. Seshia, Stavros Tripakis:
What's Decidable about Syntax-Guided Synthesis? CoRR abs/1510.08393 (2015) - 2014
- [j18]Marco Di Natale
, Qi Zhu
, Alberto L. Sangiovanni-Vincentelli
, Stavros Tripakis
:
Optimized implementation of synchronous models on industrial LTTA systems. J. Syst. Archit. 60(4): 315-328 (2014) - [c86]Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli:
Library-based scalable refinement checking for contract-based design. DATE 2014: 1-6 - [c85]Viorel Preoteasa, Stavros Tripakis
:
Refinement calculus of reactive systems. EMSOFT 2014: 2:1-2:10 - [c84]Stavros Tripakis
, Chris Shaver:
Feedback in Synchronous Relational Interfaces. FPS@ETAPS 2014: 249-266 - [c83]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman
, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-State Protocols from Scenarios and Requirements. Haifa Verification Conference 2014: 75-91 - [c82]Susmit Jha, Stavros Tripakis
, Sanjit A. Seshia, Krishnendu Chatterjee:
Game theoretic secure localization in wireless sensor networks. IOT 2014: 85-90 - [c81]Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis
, Alberto L. Sangiovanni-Vincentelli:
Are interface theories equivalent to contract theories? MEMOCODE 2014: 104-113 - [c80]Stavros Tripakis
, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang:
On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. ICSAMOS 2014: 51-58 - [c79]Jan Reineke, Stavros Tripakis
:
Basic Problems in Multi-View Modeling. TACAS 2014: 217-232 - [c78]Rüdiger Ehlers
, Stéphane Lafortune
, Stavros Tripakis
, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - [i4]Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-state Protocols from Scenarios and Requirements. CoRR abs/1402.7150 (2014) - [i3]Viorel Preoteasa, Stavros Tripakis:
Refinement Calculus of Reactive Systems. CoRR abs/1406.6035 (2014) - 2013
- [j17]Stavros Tripakis
, Christos Stergiou, Chris Shaver, Edward A. Lee
:
A modular formal semantics for Ptolemy. Math. Struct. Comput. Sci. 23(4): 834-881 (2013) - [j16]Stavros Tripakis
, Dai N. Bui, Marc Geilen
, Bert Rodiers, Edward A. Lee
:
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs. ACM Trans. Embed. Comput. Syst. 12(3): 83:1-83:26 (2013) - [c77]David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis
, Michael Wetter
:
Determinate composition of FMUs for co-simulation. EMSOFT 2013: 2:1-2:12 - [c76]Magnus Persson, Martin Törngren
, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis
, Hans Vangheluwe
, Joachim Denil
:
A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systems. EMSOFT 2013: 10:1-10:10 - [c75]Christos Stergiou, Stavros Tripakis
, Eleftherios Matsikoudis, Edward A. Lee
:
On the Verification of Timed Discrete-Event Models. FORMATS 2013: 213-227 - [c74]Patricia Derler
, Edward A. Lee
, Stavros Tripakis
, Martin Törngren
:
Cyber-physical system design contracts. ICCPS 2013: 109-118 - [c73]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. SPIN 2013: 358-375 - [p1]Franck Cassez
, Stavros Tripakis
:
Fault Diagnosis of Timed Systems. Communicating Embedded Systems 2013: 107-138 - 2012
- [j15]Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee
, Stavros Tripakis
:
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Sci. Comput. Program. 77(12): 1235-1271 (2012) - [c72]Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Stavros Tripakis
, Ankita Prasad, Guoqiang Wang, Trung N. Tran, Hugo A. Andrade:
Static dataflow with access patterns: semantics and analysis. DAC 2012: 656-663 - [c71]Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
An overview of the career of Paul Caspi. EMSOFT 2012: 195-196 - [c70]David Broman, Edward A. Lee
, Stavros Tripakis
, Martin Törngren
:
Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS 2012: 49-54 - 2011
- [j14]Stavros Tripakis
, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
:
A Theory of Synchronous Relational Interfaces. ACM Trans. Program. Lang. Syst. 33(4): 14:1-14:41 (2011) - [c69]Stavros Tripakis
, Hugo A. Andrade, Arkadeb Ghosal, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Guang Yang, Jacob Kornerup, Ian C. Wong:
Correct and non-defensive glue design using abstract models. CODES+ISSS 2011: 59-68 - [c68]