Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer International Publishing

9783319336923, 9783319336930
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On Robust Malware Classifiers by Verifying Unwanted Behaviours

2016 ◽  
pp. 326-341 ◽  
Author(s):  
Wei Chen ◽  
David Aspinall ◽  
Andrew D. Gordon ◽  
Charles Sutton ◽  
Igor Muttik

scholarly journals Probabilistic Formal Analysis of App Usage to Inform Redesign

2016 ◽  
pp. 115-129 ◽  
Author(s):  
Oana Andrei ◽  
Muffy Calder ◽  
Matthew Chalmers ◽  
Alistair Morrison ◽  
Mattias Rost
Keyword(s):  
Formal Analysis

scholarly journals Enhancing Automata Learning by Log-Based Metrics

2016 ◽  
pp. 295-310 ◽  
Author(s):  
Petra van den Bos ◽  
Rick Smetsers ◽  
Frits Vaandrager
Keyword(s):  
Automata Learning

scholarly journals Symbolic Reachability Analysis of B Through ProB and LTSmin

2016 ◽  
pp. 275-291 ◽  
Author(s):  
Jens Bendisposto ◽  
Philipp Körner ◽  
Michael Leuschel ◽  
Jeroen Meijer ◽  
Jaco van de Pol ◽  
...  
Keyword(s):  
Reachability Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document