-
ICSE: 34th International Conference on Software Engineering
The 5th International Workshop on Exception Handling (WEH.12) is an initiative that aims to bring together researchers and practitioners in order to discuss the... -
Reasoning and Improving on Software Resilience against Unanticipated Exceptions
In software, there are the errors anticipated at specification and design time, those encountered at development and testing time, and those that happen in production... -
Synchronous composition of discretized control actions: design, verification ...
International audience -
Latest Developments on the IEEE 1788 Effort for the Standardization of Interv...
(Standardization effort supported by the INRIA D2T.) -
A CPS-semantics for a typed lambda-calculus of exception handling with fixed-...
Colloque avec actes et comité de lecture. -
A confluence Result for a Typed lambda-Calculus of Exception Handling with Fi...
Colloque avec actes et comité de lecture.
