2 citations · 2 across the 3 of their papers we have counts for
7 papers
A Computability Perspective on (Verified) Machine Learning
Tonicha Crook, Jay Morgan, Arno Pauly +1
There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable. It is much less clear what veri…
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp +1
This paper provides the first correct semantical representation of UML state-machines within the logical framework of an institution (previous attempts were flawed). A novel encodi…
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper
Antonio Cerone, Markus Roggenbach, James Davenport +10
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, i…
An algebraic theory for data linkage
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
There are countless sources of data available to governments, companies, and citizens, which can be combined for good or evil. We analyse the concepts of combining data from common…
Software Model Checking: A Promising Approach to Verify Mobile App Security
Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach +1
In this position paper we advocate software model checking as a technique suitable for security analysis of mobile apps. Our recommendation is based on promising results that we ac…
Detection of App Collusion Potential Using Logic Programming
Jorge Blasco, Thomas M. Chen, Igor Muttik +1
Android is designed with a number of built-in security features such as app sandboxing and permission-based access controls. Android supports multiple communication methods for app…