default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th FormaliSE@ICSE 2023: Melbourne, Australia
- 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2023, Melbourne, Australia, May 14-15, 2023. IEEE 2023, ISBN 979-8-3503-1263-8
- Radu Calinescu, Genaína Nunes Rodrigues
:
Goal Controller Synthesis for Self-Adaptive Systems. 1-6 - Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran:
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. 7-17 - Marcello M. Bersani, Matteo Camilli, Livia Lestingi, Raffaela Mirandola, Matteo G. Rossi:
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning. 18-28 - Piergiuseppe Mallozzi, Inigo Incer, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Specification Refinement and Repair for Mission Planning. 29-38 - Cristian Cadar, Daniel Schemmel, Arindam Sharma:
Patch Specifications via Product Programs. 39-43 - Niloofar Mansoor, Hamid Bagheri, Eunsuk Kang, Bonita Sharif:
An Empirical Study Assessing Software Modeling in Alloy. 44-54 - Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau:
Mutant Equivalence as Monotonicity in Parametric Timed Games. 55-65 - Mark Utting, Brae J. Webb, Ian J. Hayes:
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). 66-75 - Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang:
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. 76-85 - Graeme Smith:
A Dafny-based approach to thread-local information flow analysis. 86-96 - Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat:
Transparent Actor Model. 97-107 - Larissa A. Meinicke, Ian J. Hayes:
Using scylindric algebra to support local variables in rely/guarantee concurrency. 108-119 - Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi:
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids. 120-129 - Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux:
A Verified UAV Flight Plan Generator. 130-140
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
