Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "F-IDE"( http://dblp.L3S.de/Venues/F-IDE )

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

Publication years (Num. hits)
2014 (9) 2015 (7)
Publication types (Num. hits)
inproceedings(15) proceedings(1)
Venues (Conferences, Journals, ...)
F-IDE(16)
Authors
David R. Cok(2) Michael Leuschel(2) Blair Durkee(1) Bojan Nokovic(1) Caleb H. Priester(1) Carlo A. Furia(1) Catherine Dubois(1) Christèle Faure(1) Christopher M. Poskitt(1) Damien Doligez(1) Daniel Welch 0001(1) Dimitra Giannakopoulou(1) Dipak L. Chaudhari(1) Dominique Méry(1) Emil Sekerinski(1) François Pessaux(1) More (+10 of total 40)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Frank Dordowsky An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project. Search on Bibsonomy F-IDE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Julien Signoles Software Architecture of Code Analysis Frameworks Matters: The Frama-C Example. Search on Bibsonomy F-IDE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bojan Nokovic, Emil Sekerinski A Holistic Approach in Embedded System Development. Search on Bibsonomy F-IDE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagic, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen Towards Enabling Overture as a Platform for Formal Notation IDEs. Search on Bibsonomy F-IDE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nabil M. Kabbani, Daniel Welch 0001, Caleb H. Priester, Stephen Schaub, Blair Durkee, Yu-Shan Sun, Murali Sitaraman Formal Reasoning Using an Iterative Approach with an Integrated Web IDE. Search on Bibsonomy F-IDE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen The AutoProof Verifier: Usability by Non-Experts and on Standard Code. Search on Bibsonomy F-IDE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dipak L. Chaudhari, Om P. Damani Building an IDE for the Calculational Derivation of Imperative Programs. Search on Bibsonomy F-IDE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David R. Cok OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry (eds.) Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John Witulski, Michael Leuschel Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Damien Doligez, Christèle Faure, Thérèse Hardin, Manuel Maarek Experience in using a typed functional language for the development of a security application. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1K. Rustan M. Leino, Valentin Wüstholz The Dafny Integrated Development Environment. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Jens Bendisposto, Sebastian Krings, Michael Leuschel Who watches the watchers: Validating the ProB Validation Tool. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David R. Cok, Scott C. Johnson SPEEDY: An Eclipse-based IDE for invariant inference. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1François Pessaux FoCaLiZe: Inside an F-IDE. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mathieu Jaume, Théo Laurent Teaching Formal Methods and Discrete Mathematics. Search on Bibsonomy F-IDE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (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