Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Basile, Davide
867  Ergebnisse:
Personensuche X
?
1

Modelling, Verifying and Testing the Contract Automata Runt..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Basile, Davide - p. 93-110 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Time for Networks: Mutation Testing for Timed Automata Netw..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Cortés, David ; Ortiz, James ; Basile, Davide... - p. 44-54 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Trusted Execution Environment for Decentralized Process Min..:

, In: Advanced Information Systems Engineering; Lecture Notes in Computer Science,
Goretti, Valerio ; Basile, Davide ; Barbaro, Luca. - p. 509-527 , 2024
Link: https://doi.org/10.1007/..
 
?
4

Advancing orchestration synthesis for contract automata:

Basile, Davide ; ter Beek, Maurice H.
Journal of Logical and Algebraic Methods in Programming.  141 (2024)  - p. 100998 , 2024
Link: https://doi.org/10.1016/..
 
?
5

Coherent modal transition systems refinement:

Basile, Davide ; ter Beek, Maurice H. ; Fantechi, Alessandro.
Journal of Logical and Algebraic Methods in Programming.  138 (2024)  - p. 100954 , 2024
Link: https://doi.org/10.1016/..
 
?
6

A Runtime Environment for Contract Automata:

, In: Formal Methods; Lecture Notes in Computer Science,
Basile, Davide ; ter Beek, Maurice H. - p. 550-567 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Digitalizing Circular Economy through Blockchains: The Bloc..:

Basile, Davide ; D'Adamo, Idiano ; Goretti, Valerio.
Journal of Industrial and Production Engineering.  40 (2023)  4 - p. 233-245 , 2023
Link: https://doi.org/10.1080/..
 
?
8

Experimenting with Formal Verification and Model-Based Deve..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Basile, Davide ; Mazzanti, Franco ; Ferrari, Alessio - p. 1-21 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Blockchain based resource governance for decentralized web ..:

Basile, Davide ; Di Ciccio, Claudio ; Goretti, Valerio.
Frontiers in Blockchain.  6 (2023)  - p. , 2023
Link: https://doi.org/10.3389/..
 
?
10

A Blockchain-driven Architecture for Usage Control in Solid:

, In: 2023 IEEE 43rd International Conference on Distributed Computing Systems Workshops (ICDCSW),
Basile, Davide ; Di Ciccio, Claudio ; Goretti, Valerio. - p. 19-24 , 2023
Link: https://doi.org/10.1109/..
 
?
11

Mutant Equivalence as Monotonicity in Parametric Timed Game:

, In: 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE),
Basile, Davide ; Ter Beek, Maurice H. ; Gottmann, Hendrik. - p. 55-65 , 2023
Link: https://doi.org/10.1109/..
 
?
12

A toolchain for strategy synthesis with spatial properties:

Basile, Davide ; ter Beek, Maurice H. ; Bussi, Laura.
International Journal on Software Tools for Technology Transfer.  25 (2023)  5-6 - p. 641-658 , 2023
Link: https://doi.org/10.1007/..
 
?
13

Exploring the ERTMS/ETCS full moving block specification: a..:

Basile, Davide ; ter Beek, Maurice H. ; Ferrari, Alessio.
International Journal on Software Tools for Technology Transfer.  24 (2022)  3 - p. 351-370 , 2022
Link: https://doi.org/10.1007/..
 
?
14

An Experimental Toolchain for Strategy Synthesis with Spati..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,
Basile, Davide ; ter Beek, Maurice H. ; Ciancia, Vincenzo - p. 142-164 , 2022
Link: https://doi.org/10.1007/..
 
?
15

Contract Automata Library:

Basile, Davide ; ter Beek, Maurice H.
Science of Computer Programming.  221 (2022)  - p. 102841 , 2022
Link: https://doi.org/10.1016/..
 
1-15