Alain Kerbrat

Computer Science · Physical Sciences

8h-index596citations23works5.72yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(8), Software Testing and Debugging Techniques(8), Advanced Software Engineering Methodologies(6), Model-Driven Software Engineering Techniques(5), Service-Oriented Architecture and Web Services(4)

Publications23 total

Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development
arXiv (Cornell University)·2026Open Access
Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development
ArXiv.org·2026Open Access
Engineering Decisions in MBSE: Insights for a Decision Capture Framework Development
Insight·2025Open Access
A Requirement Conceptual Model to Support Requirements Writing and Early Verification
Insight·2025Open Access
Requirements Structure for System Requirements Formal Modelling, Verification and Validation
IFAC-PapersOnLine·2024· 2 citedOpen Access
Challenges in applying large language models to requirements engineering tasks
Design Science·2024· 32 citedOpen Access
Challenges in Early Verification and Validation of System Requirements
Insight·2023
Description of conceptual model of requirements
SPIRE - Sciences Po Institutional REpository·2023Open Access
Adopting formal methods on requirements verification and validation for cyber-physical systems: A systematic literature review
IFAC-PapersOnLine·2022· 5 citedOpen Access
Verification of Quantitative Temporal Properties of SDL Specifications
Lecture notes in computer science·2001· 9 cited
Verification and test generation for the SSCOP protocol
Science of Computer Programming·2000· 35 citedOpen Access
SDL for Real-Time: What Is Missing?
2000Open Access
Automated test generation from SDL specifications
Elsevier eBooks·1999· 51 cited
Specification and execution of tests using tMsc
IFIP advances in information and communication technology·1999Open Access
Protocol verification with the ALDÉBARAN toolset
International Journal on Software Tools for Technology Transfer·1997· 39 citedOpen Access
Data-structures for the verification of timed automata
Lecture notes in computer science·1997· 97 citedOpen Access
ObjectInterconnecting the GEODE and CÆSAR-Aldébaran toolsets
Elsevier eBooks·1997· 2 cited
Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets.
1997· 1 cited
Component-based programming and application management with olan
Lecture notes in computer science·1996· 19 cited
CADP a protocol validation and verification toolbox
Lecture notes in computer science·1996· 292 cited
page 1 of 2Next →

Frequent Co-authors

Pascale Marangé(5), Éric Bonjour(5), Laurent Mounier(4), Marius Bozga(4), Cyril Bacquet(4), Iulian Ober(3), Nidhal Selmi(3), Matthieu Crespo(3), Thierry Jéron(2), Jean-Claude Fernandez(2), Slim Ben Atallah(2), Carlos Rodriguez-Salazar(2), Sébastien Mosser(2), J. C. Fernandez(1), Hubert Garavel(1), Radu Mateescu(1), Mihaela Sighireanu(1), Eugène Asarin(1), Oded Maler(1), Amir Pnueli(1)