Articles avec mandats d'accès public - Stavros TripakisEn savoir plus
Disponibles quelque part : 50
Determinate composition of FMUs for co-simulation
D Broman, C Brooks, L Greenberg, EA Lee, M Masin, S Tripakis, M Wetter
2013 Proceedings of the International Conference on Embedded Software …, 2013
Exigences : Swedish Research Council
Viewpoints, formalisms, languages, and tools for cyber-physical systems
D Broman, EA Lee, S Tripakis, M Törngren
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 49-54, 2012
Exigences : Swedish Research Council
A theory of synchronous relational interfaces
S Tripakis, B Lickly, TA Henzinger, EA Lee
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (4), 1-41, 2011
Exigences : Fonds national suisse, Austrian Science Fund
Hybrid co-simulation: it’s about time
F Cremona, M Lohstroh, D Broman, EA Lee, M Masin, S Tripakis
Software & Systems Modeling 18, 1655-1679, 2019
Exigences : US National Science Foundation, Academy of Finland, Swedish Research Council
Supervisory control and reactive synthesis: a comparative introduction
R Ehlers, S Lafortune, S Tripakis, MY Vardi
Discrete Event Dynamic Systems 27, 209-260, 2017
Exigences : US National Science Foundation, German Research Foundation
Requirements for hybrid cosimulation standards
D Broman, L Greenberg, EA Lee, M Masin, S Tripakis, M Wetter
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Exigences : US Department of Energy, Academy of Finland, Swedish Research Council
FIDE: an FMI integrated development environment
F Cremona, M Lohstroh, S Tripakis, C Brooks, EA Lee
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1759-1766, 2016
Exigences : US National Science Foundation, Academy of Finland
Bridging the semantic gap between heterogeneous modeling formalisms and FMI
S Tripakis
2015 International Conference on Embedded Computer Systems: Architectures …, 2015
Exigences : Academy of Finland
Learning Moore machines from input–output traces
G Giantamidis, S Tripakis, S Basagiannis
International Journal on Software Tools for Technology Transfer 23 (1), 1-29, 2021
Exigences : US National Science Foundation, Academy of Finland
Predictive runtime verification of timed properties
S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa
Journal of Systems and Software 132, 353-365, 2017
Exigences : US National Science Foundation, Academy of Finland
Compositionality in the science of system design
S Tripakis
Proceedings of the IEEE 104 (5), 960-972, 2016
Exigences : US National Science Foundation, Academy of Finland
Basic problems in multi-view modeling
J Reineke, S Tripakis
International Conference on Tools and Algorithms for the Construction and …, 2014
Exigences : German Research Foundation
Runtime enforcement of cyber-physical systems
S Pinisetty, PS Roop, S Smyth, N Allen, S Tripakis, RV Hanxleden
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-25, 2017
Exigences : US National Science Foundation, German Research Foundation, Academy of …
Step revision in hybrid co-simulation with FMI
F Cremona, M Lohstroh, D Broman, M Di Natale, EA Lee, S Tripakis
2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016
Exigences : US National Science Foundation, Academy of Finland, European Commission
The refinement calculus of reactive systems
V Preoteasa, I Dragomir, S Tripakis
Information and Computation 285, 104819, 2022
Exigences : US National Science Foundation, Academy of Finland, European Commission
Compositional semantics and analysis of hierarchical block diagrams
I Dragomir, V Preoteasa, S Tripakis
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
Exigences : US National Science Foundation, Academy of Finland
Predictive runtime enforcement
S Pinisetty, V Preoteasa, S Tripakis, T Jéron, Y Falcone, H Marchand
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1628-1633, 2016
Exigences : US National Science Foundation, Academy of Finland
Automatic synthesis of distributed protocols
R Alur, S Tripakis
Acm Sigact News 48 (1), 55-90, 2017
Exigences : US National Science Foundation
Automatic completion of distributed protocols with symmetry
R Alur, M Raghothaman, C Stergiou, S Tripakis, A Udupa
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
Exigences : Academy of Finland
The refinement calculus of reactive systems toolset
I Dragomir, V Preoteasa, S Tripakis
International Journal on Software Tools for Technology Transfer 22 (6), 689-708, 2020
Exigences : US National Science Foundation, Academy of Finland, European Commission
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique