| A Logic for Reflective ASMs
|
2020 |
Schewe, Klaus-Dieter |
| Programming the CLEARSY Safety Platform with B
|
2020 |
Lecomte, Thierry |
| Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
|
2020 |
Dupont, Guillaume |
| Verifying SGAC Access Control Policies: A Comparison of PRoB, ALLOY and Z3
|
2020 |
Oliveira, Diego de Azevedo |
| Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages
|
2020 |
Paulweber, Philipp |
| Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering
|
2020 |
Clarisó, Robert |
| Modelling Hybrid Programs with Event-B
|
2020 |
Afendi, Meryem |
| Account and Transaction Protocol of the Open Banking Standard
|
2020 |
Almehrej, Abdulaziz |
| Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes
|
2020 |
Shokri-Manninen, Fatima |
| VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics
|
2020 |
Werth, Michelle |
| ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods
|
2020 |
Geleßus, David |
| An Event-B Model of an Automotive Adaptive Exterior Light System
|
2020 |
Mammar, Amel |
| A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B
|
2020 |
Afendi, Meryem |
| A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
|
2020 |
Bougacha, Racem |
| Improving Trustworthiness of Self-driving Systems
|
2020 |
Alotaibi, Fahad |
| Event-B: From Systems to Sub-systems Modeling
|
2020 |
Kraibi, Kenza |
| Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology
|
2020 |
Cavalcanti, Ana |
| Experiences on Teaching Alloy with an Automated Assessment Platform
|
2020 |
Macedo, Nuno |
| Refinement and Verification of Responsive Control Systems
|
2020 |
Morris, Karla |
| Adaptive Exterior Light and Speed Control System
|
2020 |
Houdek, Frank |
Tag hinzufügen