Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MeTRiD@ETAPS"( http://dblp.L3S.de/Venues/MeTRiD@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2018 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
MeTRiD@ETAPS(9)
Authors
Panagiotis Katsaros(2) Afshin Amighi(1) Alexios Lekidis(1) Anastasia Mavridou(1) Antonios Gouglidis(1) Brian Nielsen(1) Christos Grompanopoulos(1) Farhad Arbab(1) Fotios Gioulekas(1) Joseph Sifakis(1) Kasper Dokter(1) Mahmoud Khaled(1) Majid Zamani 0001(1) Marieke Huisman(1) Matthias Rungger(1) Pedro Palomo(1) More (+10 of total 23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Joseph Sifakis System Design in the Era of IoT - Meeting the Autonomy Challenge. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antonios Gouglidis, Christos Grompanopoulos, Anastasia Mavridou Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mahmoud Khaled, Matthias Rungger, Majid Zamani 0001 SENSE: Abstraction-Based Synthesis of Networked Control Systems. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kasper Dokter, Farhad Arbab Treo: Textual Syntax for Reo Connectors. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Bliudze, Saddek Bensalem (eds.) Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pujie Han, Zhengjun Zhai, Brian Nielsen, Ulrik Nyman A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexios Lekidis, Panagiotis Katsaros Model-Based Design of Energy-Efficient Applications for IoT Systems. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Afshin Amighi, Marieke Huisman, Stefan Blom Verification of Shared-Reading Synchronisers. Search on Bibsonomy MeTRiD@ETAPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license