| 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 |
| Event-B-Supported Choreography-Defined Communicating Systems: Correctness and Completeness
|
2020 |
Benyagoub, Sarah |
| Formal Distributed Protocol Development for Reservation of Railway Sections
|
2020 |
Stankaitis, Paulius |
| Exploring the Concept of Abstract State Machines for System Runtime Enforcement
|
2020 |
Riccobene, Elvinia |
| Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B
|
2020 |
Barradas, Héctor Ruíz |
| Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA
|
2020 |
Arcaini, Paolo |
Tag hinzufügen