default search action

combined dblp search
author search
venue search
publication search

ask others

1st MeTRiD@ETAPS 2018: Thessaloniki, Greece

> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09330
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09330
Simon Bliudze, Saddek Bensalem:
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. EPTCS 272, 2018
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09846
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09846
Joseph Sifakis:
System Design in the Era of IoT - Meeting the Autonomy Challenge. 1-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-01242
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01242
Alexios Lekidis, Panagiotis Katsaros:
Model-Based Design of Energy-Efficient Applications for IoT Systems. 24-38
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1807-11570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-11570
Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman:
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. 39-51
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09848
Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou:
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. 52-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09849
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09849
Mahmoud Khaled, Matthias Rungger, Majid Zamani:
SENSE: Abstraction-Based Synthesis of Networked Control Systems. 65-78
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09850
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo:
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine. 79-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09851
Afshin Amighi, Marieke Huisman, Stefan Blom:
Verification of Shared-Reading Synchronisers. 107-120
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1806-09852
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09852
Kasper Dokter, Farhad Arbab:
Treo: Textual Syntax for Reo Connectors. 121-135

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.