Search Results - "2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)" :: K.UTB vyhledávací portál

Diagnosing Violations of Time-based Properties Captured in iCFTL

by Stratan, Cristina, Dawes, Joshua Heneage, Bianculli, Domenico
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Contract Automata: A Specification Language for Mode-Based Systems

by Weigl, Alexander, Bachmeier, Joshua, Ulbrich, Mattias, Beckert, Bernhard
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling

by Zeyen, Olivier, Cordy, Maxime, Perrouin, Gilles, Acher, Mathieu
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Formally Verified Interval Arithmetic and Its Application to Program Verification

by Brucker, Achim D., Cameron-Burke, Teddy, Stell, Amy
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Finite Automata synthesis from interactions

by Mahe, Erwan, Bannour, Boutheina, Gaston, Christophe, Lapitre, Arnault, Le Gall, Pascale
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Leveraging Large Language Models to Boost Dafny's Developers Productivity

by Silva, Alvaro, Mendes, Alexandra, Ferreira, Joao F.
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Verifying Opacity of Discrete-Timed Automata

by Klein, Julian, Kogel, Paul, Glesner, Sabine
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Towards Verifiable Multi-Agent Interaction Pattern Specification

by Tagliaferro, Alberto, Lestingi, Livia, Rossi, Matteo
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Compositional Analysis of Parametric Cooperative Cyber-Physical Systems

by Alghamdi, Raniah A., Trefler, Richard
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Automated Repair of Violated Eventually Properties in Concurrent Programs

by Faqrizal, Irman, Nivon, Quentin, Salaun, Gwen
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Time for Networks: Mutation Testing for Timed Automata Networks

by Cortes, David, Ortiz, James, Basile, Davide, Aranda, Jesus, Perrouin, Gilles, Schobbens, Pierre-Yves
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets

by Robinette, Preston K., Lopez, Diego Manzanas, Serbinowska, Serena, Leach, Kevin, Johnson, Taylor T.
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification

by Gauthier, Louis, Prevosto, Virgile, Signoles, Julien
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding

Loading…

Formal Methods in Requirements Engineering: Survey and Future Directions

by Lorch, Robert, Meng, Baoluo, Siu, Kit, Moitra, Abha, Durling, Michael, Paul, Saswata, Varanasi, Sarat Chandra, McMillan, Craig
Published in 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) (14.04.2024)

Get full text

Conference Proceeding