|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Laurent Fribourg, Ulrich Kühne, Nicolas Markey |
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems.  |
SynCoP  |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare |
Parametric Verification of Weighted Systems. |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Camille Coti, Hoang Gia Nguyen |
Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation). |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Frontmatter, Table of Contents, Preface, Workshop Organization. |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Bharath Siva Kumar Tati, Markus Siegle |
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Kwiatkowska |
Parameter synthesis for probabilistic real-time systems (Invited Paper). |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier |
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis. |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta |
Parameter Synthesis with IC3 (Informal Presentation). |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas David 0002, Claude Jard, Didier Lime, Olivier H. Roux |
Discrete Parameters in Petri Nets (Informal Presentation). |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Le Coënt, Florian De Vuyst, Christian Rey, Ludovic Chamoin, Laurent Fribourg |
Guaranteed control of switched control systems using model order reduction and state-space bisection. |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Goran Frehse (eds.) |
2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom |
SynCoP |
2015 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Frédéric Haziza, Lukás Holík |
View Abstraction - A Tutorial (Invited Paper). |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye |
Consistency for Parametric Interval Markov Chains. |
SynCoP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Hashemi, Hassan Hatefi, Jan Krcál |
Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs (extended version). |
SynCoP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco van de Pol, Rom Langerak |
Setting Parameters for Biological Models With ANIMO. |
SynCoP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Karin Quaas |
MTL-Model Checking of One-Clock Parametric Timed Automata is Undecidable. |
SynCoP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Youcheng Sun, Giuseppe Lipari, Étienne André, Laurent Fribourg |
Toward Parametric Timed Interfaces for Real-Time Components. |
SynCoP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Étienne André, Goran Frehse (eds.) |
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. |
SynCoP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mladen Skelin, Marc Geilen, Francky Catthoor, Sverre Hendseth |
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs. |
SynCoP |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license