default search action

combined dblp search
author search
venue search
publication search

ask others

3rd F-IDE@FM 2016: Limassol, Cyprus

> Home > Conferences and Workshops > F-IDE

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/DuboisMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuboisMM17
Catherine Dubois, Paolo Masci, Dominique Méry:
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FayollasMPMHCS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FayollasMPMHCS17
Camille Fayollas, Célia Martinie, Philippe A. Palanque, Paolo Masci, 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. 1-19
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HealyMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HealyMP17
Andrew Healy, Rosemary Monahan, James F. Power:
Predicting SMT Solver Performance for Software Verification. 20-37
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GuernicCG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GuernicCG17
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. 38-52
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MauroTDB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MauroTDB17
Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi:
Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. 53-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MitschP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MitschP17
Stefan Mitsch, André Platzer:
The KeYmaera X Proof IDE - Concepts on Usability in Hybrid Systems Theorem Proving. 67-81
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BurdyDP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BurdyDP17
Lilian Burdy, David Déharbe, Étienne Prun:
Interfacing Automatic Proof Agents in Atelier B: Introducing "iapa". 82-90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HilkenG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HilkenG17
Frank Hilken, Martin Gogolla:
User Assistance Characteristics of the USE Model Checking Tool. 91-97

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.