default search action

combined dblp search
author search
venue search
publication search

ask others

1st SynCoP 2014: Grenoble, France

> Home > Conferences and Workshops > SynCoP

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/AndreF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/AndreF14
Étienne André, Goran Frehse:
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. EPTCS 145, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Quaas14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Quaas14a
Karin Quaas:
MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable. 5-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HashemiHK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HashemiHK14
Vahid Hashemi, Hassan Hatefi, Jan Krcál:
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). 19-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SchivoSKPPL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SchivoSKPPL14
Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak:
Setting Parameters for Biological Models With ANIMO. 35-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SunLAF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SunLAF14
Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg:
Toward Parametric Timed Interfaces for Real-Time Components. 49-64
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SkelinGCH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SkelinGCH14
Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth:
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs. 65-79

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.