|
|
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 | M. V. Achutha Kiran Kumar, Aarti Gupta, S. S. Bindumadhava |
RTL2RTL Formal Equivalence: Boosting the Design Confidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014., pp. 29-44, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Somsak Vanit-Anunchai |
Experience using Coloured Petri Nets to Model Railway Interlocking Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014., pp. 17-28, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shang-Wei Lin 0001, Laure Petrucci (eds.) |
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Asankhaya Sharma |
Verified Subtyping with Traits and Mixins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014., pp. 45-51, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Feld, Laurent Fribourg, Denis Labrousse, Bertrand Revol, Romain Soulat |
Correct-by-design Control Synthesis for Multilevel Converters using State Space Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014., pp. 5-16, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Elshuber, Susanne Kandl, Peter P. Puschner |
Improving System-Level Verification of SystemC Models with SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 74-79, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Étienne André |
Dynamic Clock Elimination in Parametric Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 18-31, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Somsak Vanit-Anunchai |
Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 3-17, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yan Liu 0012 |
Formal Modelling and Verification of Pervasive Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 61-67, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg, Ulrich Kühne, Romain Soulat |
Constructing Attractors of Nonlinear Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 53-60, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Protzenko |
Illustrating the Mezzo programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 68-73, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Fribourg |
Control of Switching Systems by Invariance Analysis (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 1, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christine Choppy, Jun Sun 0001 (eds.) |
1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | |
Frontmatter, Table of Contents, Preface, Workshop Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Ngan Chin |
Specification, Verification and Inference (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 2, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton |
On the Determinism of Multi-core Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 32-46, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | César Rodríguez, Stefan Schwoon |
An Improved Construction of Petri Net Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 47-52, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Carle, Christine Choppy, Romain Kervarc, Ariane Piel |
Safety of Unmanned Aircraft Systems Facing Multiple Breakdowns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 86-91, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yanti Rusmawati, David E. Rydeheard |
Modelling and Reasoning about Dynamic Networks as Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSFMA ![In: 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore, pp. 80-85, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-56-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|