E-LIB Suche - Ergebnisse für: Brucker, Achim

1

Does Every Computer Scientist Need to Know Formal Methods?:

Broy, Manfred ; Brucker, Achim ; Fantechi, Alessandro...
Formal Aspects of Computing. , 2024

2

Formally Verified Interval Arithmetic and Its Application t..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),

Brucker, Achim D. ; Cameron-Burke, Teddy ; Stell, Amy - p. 111-121 , 2024

Link: https://dl.acm.org/doi/1..

3

Using Deep Ontologies in Formal Software Engineering:

, In: Rigorous State-Based Methods; Lecture Notes in Computer Science,

Brucker, Achim D. ; Ait-Sadoune, Idir ; Méric, Nicolas. - p. 15-32 , 2023

Link: https://doi.org/10.1007/..

4

Verifying Feedforward Neural Networks for Classification in..:

, In: Formal Methods; Lecture Notes in Computer Science,

Brucker, Achim D. ; Stell, Amy - p. 427-444 , 2023

Link: https://doi.org/10.1007/..

5

Stateful Protocol Composition in Isabelle/HOL:

Hess, Andreas V. ; MÖdersheim, Sebastian A. ; Brucker, Achim D.
ACM Transactions on Privacy and Security. 26 (2023) 3 - p. 1-36 , 2023

Link: https://doi.org/10.1145/..

6

Confidentiality Enhanced Life-Cycle Assessment:

, In: Business Process Management Workshops; Lecture Notes in Business Information Processing,

Brucker, Achim D. ; Yalman, Sakine - p. 434-446 , 2022

Link: https://doi.org/10.1007/..

7

Conformance Testing of Formal Semantics Using Grammar-Based..:

, In: Tests and Proofs; Lecture Notes in Computer Science,

Marmsoler, Diego ; Brucker, Achim D. - p. 106-125 , 2022

Link: https://doi.org/10.1007/..

8

Performing Security Proofs of Stateful Protocols:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),

Hess, Andreas V. ; Modersheim, Sebastian ; Brucker, Achim D.. - p. 1-16 , 2021

Link: https://doi.org/10.1109/..

9

A Denotational Semantics of Solidity in Isabelle/HOL:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Marmsoler, Diego ; Brucker, Achim D. - p. 403-422 , 2021

Link: https://doi.org/10.1007/..

10

A Formally Verified Model of Web Components:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Brucker, Achim D. ; Herzberg, Michael - p. 51-71 , 2020

Link: https://doi.org/10.1007/..

11

Emerging topics in textual modelling:

, In: OCL 2019 - 19th International Workshop on OCL and Textual Modeling / Achim D. Brucker, Gwendal Daniel, and Frédédric Jouault (eds.)

Brucker, Achim D. ; Daniel, Gwendal ; Jounault, Frédéric.... (2019) - p. 97-104

Link: http://ceur-ws.org/Vol-2..

12

OCL 2019 - 19th International Workshop on OCL and Textual M..

workshop proceedings : IEEE/ACM 22nd International Conferen... CEUR workshop proceedings ; vol-2513

Brucker, Achim D. ; Daniel, Gwendal ; Jouault, Frédédric - V1.0 . , 2019-12-06

Link: http://ceur-ws.org/Vol-2..

13

Isabelle/DOF: Design and Implementation:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Brucker, Achim D. ; Wolff, Burkhart - p. 275-292 , 2019

Link: https://doi.org/10.1007/..

14

Incorporating Data into EFSM Inference:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Foster, Michael ; Brucker, Achim D. ; Taylor, Ramsay G... - p. 257-272 , 2019

Link: https://doi.org/10.1007/..

15

Using Ontologies in Formal Developments Targeting Certifica..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Brucker, Achim D. ; Wolff, Burkhart - p. 65-82 , 2019

Link: https://doi.org/10.1007/..