| Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads
|
2020 |
Jones, Cliff B. |
| What Have Formal Methods Ever Done for Us? An Audience Discussion
|
2020 |
Astarte, Troy Kaighin |
| Combination of Boxes and Polyhedra Abstractions for Constraint Solving
|
2020 |
Ziat, Ghiles |
| Runtime Verification of Linux Kernel Security Module
|
2020 |
Efremov, Denis |
| Challenges Faced by Students in an Open Source Software Undergraduate Course
|
2020 |
Issa, Dias |
| Open Source Software as a Learning Tool for Computer Science Students
|
2020 |
Khuzyakhmetova, Assiya |
| Towards a Method for the Decomposition by Refinement in Event-B
|
2020 |
Kraibi, Kenza |
| Nested Event Representation for Automated Assembly of Cell Signaling Network Models
|
2020 |
Becker, Evan W. |
| The School of Squiggol: A History of the Bird-Meertens Formalism
|
2020 |
Gibbons, Jeremy |
| From Manuscripts to Programming Languages: An Archivist Perspective
|
2020 |
Vidal, Alexandra |
| An Abstract Domain for Objects in Dynamic Programming Languages
|
2020 |
Arceri, Vincenzo |
| Open and Interactive Learning Resources for Algorithmic Problem Solving
|
2020 |
Ferreira, João F. |
| Migrating the INTO-CPS Application to the Cloud
|
2020 |
Macedo, Hugo Daniel |
| Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors
|
2020 |
Smith, Graeme |
| Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study
|
2020 |
Runge, Tobias |
| PrideMM: Second Order Model Checking for Memory Consistency Models
|
2020 |
Cooksey, Simon |
| AUTHCHECK: Program-State Analysis for Access-Control Vulnerabilities
|
2020 |
Piskachev, Goran |
| Flow Diagrams, Assertions, and Formal Methods
|
2020 |
Priestley, Mark |
| A Survey of Learning Methods in Open Source Software
|
2020 |
Suleimenov, Aidarbek |
| Towards a Static Check of FMUs in VDM-SL
|
2020 |
Battle, Nick |
Tag hinzufügen