Stavros Tripakis: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - When Do We (Not) Need Complex Assume-Guarantee Rules?

Siirtola, Antti Tapani, Tripakis, Stavros, Heljanko, Keijo

Year:

2015

Language:

english

File:

PDF, 440 KB

english, 2015

52

[IEEE 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Samos, Greece (2015.7.19-2015.7.23)] 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) - Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms

Yang, Yang, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Year:

2015

Language:

english

File:

PDF, 519 KB

english, 2015

53

[IEEE IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society - Yokohama (2015.11.9-2015.11.12)] IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society - Towards cyber-physical agnosticism by enhancing IEC 61499 with PTIDES model of computations

Vyatkin, Valeriy, Cheng Pang,, Tripakis, Stavros

Year:

2015

Language:

english

File:

PDF, 736 KB

english, 2015

54

From simulink to SCADE/lustre to TTA

Caspi, Paul, Curic, Adrian, Maignan, Aude, Sofronis, Christos, Tripakis, Stavros, Niebert, Peter

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 238 KB

english, 2003

55

Modular code generation from synchronous block diagrams

Lublinerman, Roberto, Szegedy, Christian, Tripakis, Stavros

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 363 KB

english, 2009

56

[ACM Press the eighth IEEE/ACM/IFIP international conference - Scottsdale, Arizona, USA (2010.10.24-2010.10.29)] Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES/ISSS '10 - Exploring models of computation with ptolemy II

Brooks, Christopher X., Lee, Edward A., Tripakis, Stavros

Year:

2010

Language:

english

File:

PDF, 537 KB

english, 2010

57

[IEEE 2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) - Agios Konstantinos, Samos Island, Greece (2016.7.17-2016.7.21)] 2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS) - Multi-view consistency for infinitary regular languages

Pittou, Maria, Tripakis, Stavros

Year:

2016

Language:

english

File:

PDF, 174 KB

english, 2016

58

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Step revision in hybrid Co-simulation with FMI

Cremona, Fabio, Lohstroh, Marten, Broman, David, Di Natale, Marco, Lee, Edward A., Tripakis, Stavros

Year:

2016

Language:

english

File:

PDF, 1.07 MB

english, 2016

59

Predictive Runtime Verification of Timed Properties

Pinisetty, Srinivas, Jéron, Thierry, Tripakis, Stavros, Falcone, Yliès, Marchand, Hervé, Preoteasa, Viorel

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 905 KB

english, 2017

60

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control

Ehlers, Rüdiger, Lafortune, Stéphane, Tripakis, Stavros, Vardi, Moshe

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 367 KB

english, 2014

61

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Runtime enforcement of reactive systems using synchronous enforcers

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Tripakis, Stavros, Hanxleden, Reinhard von

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

62

Basic problems in multi-view modeling

Reineke, Jan, Stergiou, Christos, Tripakis, Stavros

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.41 MB

english, 2017

63

Runtime Enforcement of Cyber-Physical Systems

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Allen, Nathan, Tripakis, Stavros, Hanxleden, Reinhard Von

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 784 KB

english, 2017

64

[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden, Germany (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts

Iannopollo, Antonio, Tripakis, Stavros, Sangiovanni-Vincentelli, Alberto

Year:

2018

Language:

english

File:

PDF, 205 KB

english, 2018

65

Hybrid co-simulation: it’s about time

Cremona, Fabio, Lohstroh, Marten, Broman, David, Lee, Edward A., Masin, Michael, Tripakis, Stavros

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 1.78 MB

english, 2017

66

[IEEE 2018 IEEE Industrial Cyber-Physical Systems (ICPS) - Saint Petersburg, Russia (2018.5.15-2018.5.18)] 2018 IEEE Industrial Cyber-Physical Systems (ICPS) - Data-driven and model-based design

Tripakis, Stavros

Year:

2018

Language:

english

File:

PDF, 113 KB

english, 2018

67

Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

Pittou, Maria, Manolios, Panagiotis, Reineke, Jan, Tripakis, Stavros

Journal:

Science of Computer Programming

Year:

2018

Language:

english

File:

PDF, 597 KB

english, 2018

68

[ACM Press the 21th ACM/IEEE International Conference - Copenhagen, Denmark (2018.10.14-2018.10.19)] Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 - Hybrid Co-simulation

Cremona, Fabio, Lohstroh, Marten, Broman, David, Lee, Edward A., Masin, Michael, Tripakis, Stavros

Year:

2018

File:

PDF, 344 KB

2018

69

The Science of Software and System Design

Tripakis, Stavros

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 282 KB

english, 2018

70

The Science of Software and System Design

Tripakis, Stavros

Journal:

IFAC-PapersOnLine

Year:

2018

File:

PDF, 282 KB

2018

71

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

Preoteasa, Viorel, Tripakis, Stavros

Year:

2016

Language:

english

File:

PDF, 347 KB

english, 2016

72

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems

Preoteasa, Viorel, Tripakis, Stavros

Year:

2016

File:

PDF, 347 KB

2016

73

Learning Moore machines from input–output traces

Giantamidis, Georgios, Tripakis, Stavros, Basagiannis, Stylianos

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 2.41 MB

english, 2019

74

The Refinement Calculus of Reactive Systems Toolset

Dragomir, Iulia, Preoteasa, Viorel, Tripakis, Stavros

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2020

File:

PDF, 1.55 MB

2020