Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319661964, 9783319661971
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory

2017 ◽  
pp. 1-16 ◽  
Author(s):  
Laurent Georget ◽  
Mathieu Jaume ◽  
Guillaume Piolle ◽  
Frédéric Tronel ◽  
Valérie Viet Triem Tong
Keyword(s):  
Shared Memory ◽  
Information Flow ◽  
Concurrent System ◽  
Information Flow Tracking ◽  
System Calls

User Studies of Principled Model Finder Output

2017 ◽  
pp. 168-184 ◽  
Author(s):  
Natasha Danas ◽  
Tim Nelson ◽  
Lane Harrison ◽  
Shriram Krishnamurthi ◽  
Daniel J. Dougherty
Keyword(s):  
User Studies

scholarly journals Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models

2017 ◽  
pp. 185-202 ◽  
Author(s):  
Ermenegildo Tomasco ◽  
Truc Lam Nguyen ◽  
Bernd Fischer ◽  
Salvatore La Torre ◽  
Gennaro Parlato
Keyword(s):  
Shared Memory ◽  
Memory Models

scholarly journals From Model Checking to a Temporal Proof for Partial Models

2017 ◽  
pp. 54-69 ◽  
Author(s):  
Anna Bernasconi ◽  
Claudio Menghi ◽  
Paola Spoletini ◽  
Lenore D. Zuck ◽  
Carlo Ghezzi
Keyword(s):  
Model Checking ◽  
Partial Models

Interpolation-Based Learning as a Mean to Speed-Up Bounded Model Checking (Short Paper)

2017 ◽  
pp. 382-387 ◽  
Author(s):  
Gianpiero Cabodi ◽  
Paolo Camurati ◽  
Marco Palena ◽  
Paolo Pasini ◽  
Danilo Vendraminetto
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Short Paper ◽  
Speed Up
Load More ...
Sign in / Sign up

Export Citation Format

Share Document