More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

5th FormaliSE@ICSE 2017: Buenos Aires, Argentina

> Home > Conferences and Workshops > FormaliSE
> Home > Conferences and Workshops > ICSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/icse/2017formalise
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2017formalise
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
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GnesiPM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GnesiPM17
Stefania Gnesi, Nico Plat, Hernán C. Melgratti:
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017). 1

Invited Paper

- view
  authority control:
- export record
  dblp key:
  - conf/icse/Aguirre17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Aguirre17
Nazareno Aguirre:
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. 2

Security Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/icse/BergheYSJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BergheYSJ17
Alexander van Den Berghe, Koen Yskout, Riccardo Scandariato, Wouter Joosen:
A Model for Provably Secure Software Design. 3-9
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GeorgetJTPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GeorgetJTPT17
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

- view
  authority control:
- export record
  dblp key:
  - conf/icse/ShimizuYNUKB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ShimizuYNUKB17
Koichi Shimizu, Teruyoshi Yamaguchi, Tsunato Nakai, Takeshi Ueda, Nobuhiro Kobayashi, Benoît Boyer:
A Trusted Approach to Design a Network Monitor. 17-23
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CimitileMMNSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CimitileMMNSV17
Aniello Cimitile, Fabio Martinelli, Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Gigliola Vaglini:
Model Checking for Mobile Android Malware Evolution. 24-30

Requirements

- view
  authority control:
- export record
  dblp key:
  - conf/icse/SiqueiraSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SiqueiraSS17
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

- view
  authority control:
- export record
  dblp key:
  - conf/icse/CledouB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CledouB17
Guillermina Cledou, Luís Soares Barbosa:
Modeling Families of Public Licensing Services: A Case Study. 37-43
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HalderPMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HalderPMS17
Raju Halder, José Proença, Nuno Macedo, André Santos:
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata. 44-50
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FahrenbergL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FahrenbergL17
Uli Fahrenberg, Axel Legay:
Featured Weighted Automata. 51-57

Verification and Testing

- view
  authority control:
- export record
  dblp key:
  - conf/icse/MooreL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MooreL17
Nicholas Moore, Mark Lawford:
Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving. 58-64
- view
  authority control:
- export record
  dblp key:
  - conf/icse/KhaireddineZM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KhaireddineZM17
Besma Khaireddine, Aleksandr Zakharchenko, Ali Mili:
A Generic Algorithm for Program Repair. 65-71
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BaePR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BaePR17
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.