default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th FormaliSE@ICSE 2017: Buenos Aires, Argentina
- 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. IEEE 2017, ISBN 978-1-5386-0422-9
- Stefania Gnesi, Nico Plat
, Hernán C. Melgratti:
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). 1
Invited Paper
- Nazareno Aguirre:
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. 2
Security Analysis
- Alexander van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen:
A Model for Provably Secure Software Design. 3-9 - Laurent Georget, Mathieu Jaume, Frederic Tronel, Guillaume Piolle, Valérie Viet Triem Tong:
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux. 10-16
Security Verification
- Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoît Boyer:
A Trusted Approach to Design a Network Monitor. 17-23 - Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. 24-30
Requirements
- Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva:
Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea. 31-36
Quantitative Modeling and Analysis
- Guillermina Cledou, Luís Soares Barbosa:
Modeling Families of Public Licensing Services: A Case Study. 37-43 - Raju Halder, José Proença, Nuno Macedo, André Santos:
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. 44-50 - Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. 51-57
Verification and Testing
- Nicholas Moore, Mark Lawford:
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. 58-64 - Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili:
A Generic Algorithm for Program Repair. 65-71 - Sora Bae, Joonyoung Park, Sukyoung Ryu:
Partition-Based Coverage Metrics and Type-Guided Search in Concolic Testing for JavaScript Applications. 72-78
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.
last updated on 2025-05-23 00:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
