default search action
5th 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.