Search for persons
X
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
2
Formally Verified Interval Arithmetic and Its Application t..:
, In:
?
Rigorous State-Based Methods; Lecture Notes in Computer Science ,
3
Using Deep Ontologies in Formal Software Engineering:
, In:
?
Formal Methods; Lecture Notes in Computer Science ,
4
Verifying Feedforward Neural Networks for Classification in..:
, In:
?
Business Process Management Workshops; Lecture Notes in Business Information Processing ,
6
Confidentiality Enhanced Life-Cycle Assessment:
, In:
?
Tests and Proofs; Lecture Notes in Computer Science ,
7
Conformance Testing of Formal Semantics Using Grammar-Based..:
, In:
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
8
Performing Security Proofs of Stateful Protocols:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
9
A Denotational Semantics of Solidity in Isabelle/HOL:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
10
A Formally Verified Model of Web Components:
, In:
?
OCL 2019 - 19th International Workshop on OCL and Textual Modeling / Achim D. Brucker, Gwendal Daniel, and Frédédric Jouault (eds.)
11
Emerging topics in textual modelling:
, In:
?
12
OCL 2019 - 19th International Workshop on OCL and Textual M..
workshop proceedings : IEEE/ACM 22nd International Conferen...
CEUR workshop proceedings ; vol-2513
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
13
Isabelle/DOF: Design and Implementation:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
14
Incorporating Data into EFSM Inference:
, In:
?
Lecture Notes in Computer Science; Integrated Formal Methods ,
15