Search for persons
X
?
Lecture Notes in Computer Science; Service-Oriented Computing – ICSOC 2023 Workshops ,
1
On Rounding Errors in the Simulation of Quantum Circuits:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
2
Contract Automata: A Specification Language for Mode-Based ..:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
3
Formally Verifying an Efficient Sorter:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
4
Consistency in the View-Based Development of Cyber-Physical..:
, In:
?
2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) ,
5
Static Capability-Based Security for Smart Contracts:
, In:
?
2023 IEEE International Conference on Quantum Software (QSW) ,
6
QIn: Enabling Formal Methods to Deal with Quantum Circuits:
, In:
?
Computer Security. ESORICS 2022 International Workshops; Lecture Notes in Computer Science ,
7
Why Is Online Voting Still Largely a Black Box?:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering; Lecture Notes in Computer Science ,
8
Towards a Usable and Sustainable Deductive Verification Too:
, In:
?
2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS) ,
9
Modeling and Enforcing Access Control Policies for Smart Co..:
, In:
?
Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022 ,
10
Generalized Test Tables: A Domain-Specific Specification La..:
, In:
?
Proceedings of the 26th ACM Symposium on Access Control Models and Technologies ,
11
Towards Correct Smart Contracts: A Case Study on Formal Ver..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications ,
13
Specifying Framing Conditions for Smart Contracts:
, In:
?
Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives ,
14
Integration of Static and Dynamic Analysis Techniques for C..:
, In:
?
Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives ,
15