Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
Foughali, Mohammed, Berthomieu, Bernard, Dal Zilio, Silvano, Hladik, Pierre-Emmanuel, Ingrand, Felix, Mallet, Anthony
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Get full text
Conference Proceeding
Formal Verification of Automotive Embedded Software
Todorov, Vassil, Boulanger, Frederic, Taha, Safouan
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Get full text
Conference Proceeding
Modeling Time in Java Programs for Automatic Error Detection
Liva, Giovanni, Khan, Muhammad Taimoor, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas, Pinzger, Martin
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Get full text
Conference Proceeding
Domain-Specific Design of Patient Classification in Cancer-Related Cachexia Research
Wickert, Alexander, Lamprecht, Anna-Lena, Margaria, Tiziana
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Get full text
Conference Proceeding
Self-Adaptive Automata
Borda, Aimee, Koutavas, Vasileios
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Get full text
Conference Proceeding
Runtime Verification of Hyperproperties for Deterministic Programs
Pinisetty, Srinivas, Schneider, Gerardo, Sands, David
Published in 6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, co-located with International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden (01.05.2018)
Published in 6th ACM/IEEE Conference on Formal Methods in Software Engineering, FormaliSE 2018, co-located with International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden (01.05.2018)
Get full text
Conference Proceeding
Testing Meets Static and Runtime Verification
Chimento, Jesus Mauricio, Ahrendt, Wolfgang, Schneider, Gerardo
Published in 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM (01.05.2018)
Published in 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM (01.05.2018)
Get full text
Conference Proceeding
Message from FormaliSE 2018 General and Program Chairs
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
(01.05.2018)
Get full text
Conference Proceeding
Title Page iii
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
(01.05.2018)
Get full text
Conference Proceeding
Publisher's Information
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
(01.05.2018)
Get full text
Conference Proceeding
ICSE 2018 Sponsors and Supporters
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
(01.05.2018)
Get full text
Conference Proceeding
Title Page i
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
(01.05.2018)
Get full text
Conference Proceeding
Message from ICSE 2018 General Chair
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
(01.05.2018)
Get full text
Conference Proceeding
Risk Management for High Tech Systems
Stoelinga, Marielle
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Published in 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2018)
Get full text
Conference Proceeding