|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Bessai, Moritz Roidl, Anna Vasileva |
Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis.  |
F-IDE@FM  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo |
Simulation under Arbitrary Temporal Logic Constraints. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci 0001, César A. Muñoz |
An Integrated Development Environment for the Prototype Verification System. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Tuong, Burkhart Wolff |
Deeply Integrating C11 Code Support into Isabelle/PIDE. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts 0001 |
The TLA+ Toolbox. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Mosses |
A Component-Based Formal Language Workbench. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosemary Monahan, Virgile Prevosto, José Proença (eds.) |
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Jonas Stromberg |
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Cousineau 0002, David Mentré, Hiroaki Inoue |
Automated Deductive Verification for Ladder Programming. |
F-IDE@FM |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Paolo Masci 0001, Dominique Méry (eds.) |
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. |
F-IDE@FM |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lilian Burdy, David Déharbe, Étienne Prun |
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". |
F-IDE@FM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Healy, Rosemary Monahan, James F. Power |
Predicting SMT Solver Performance for Software Verification. |
F-IDE@FM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci 0001, Michael D. Harrison, José Creissac Campos, Saulo Rodrigues e Silva |
Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web. |
F-IDE@FM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gurvan Le Guernic, Benoît Combemale, José Angel Galindo |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework. |
F-IDE@FM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Hilken, Martin Gogolla |
User Assistance Characteristics of the USE Model Checking Tool. |
F-IDE@FM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi |
Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. |
F-IDE@FM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Mitsch, André Platzer |
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. |
F-IDE@FM |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Catherine Dubois, Paolo Masci 0001, Dominique Méry (eds.) |
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. |
F-IDE@FM |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license