Search Results - "BASILE, DAVIDE"

FORMAL ANALYSIS OF THE CONTRACT AUTOMATA RUNTIME ENVIRONMENT WITH UPPAAL: MODELLING, VERIFICATION AND TESTING.

Authors: BASILE, DAVIDE¹, davide.basile@isti.cnr.it

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 1, p8:1-8:40, 40p

Digitalizing Circular Economy through Blockchains: The Blockchain Circular Economy Index.

Authors: Basile, Davide D'Adamo, Idiano Goretti, Valerio et al.

Source: Journal of Industrial & Production Engineering. Jun2023, Vol. 40 Issue 4, p233-245. 13p.

Comparing Formal Tools for System Design: a Judgment Study.

Authors: Ferrari, Alessio Mazzanti, Franco Basile, Davide et al.

Source: ICSE: International Conference on Software Engineering; 6/17/2020, p62-74, 13p

A TEE-based approach for preserving data secrecy in process mining with decentralized sources.

Authors: Basile, Davide Goretti, Valerio Barbaro, Luca et al.

Source: Journal of Information Security & Applications; May2026, Vol. 98, pN.PAG-N.PAG, 1p

SYNTHESIS OF ORCHESTRATIONS AND CHOREOGRAPHIES: BRIDGING THE GAP BETWEEN SUPERVISORY CONTROL AND COORDINATION OF SERVICES.

Authors: BASILE, DAVIDE TER BEEK, MAURICE H. PUGLIESE, ROSARIO

Source: Logical Methods in Computer Science (LMCS); 2020, Vol. 16 Issue 2, p1-29, 29p

A toolchain for strategy synthesis with spatial properties.

Authors: Basile, Davide ter Beek, Maurice H. Bussi, Laura et al.

Source: International Journal on Software Tools for Technology Transfer. Dec2023, Vol. 25 Issue 5/6, p641-658. 18p.

Subjects: Multiagent systems, Pixels, Strategy games, Finite state machines, Digital images, Digital technology, Proof of concept

Static detection of equivalent mutants in real-time model-based mutation testing: An Empirical Evaluation.

Authors: Basile, Davide Beek, Maurice H. ter Lazreg, Sami et al.

Source: Empirical Software Engineering. Dec2022, Vol. 27 Issue 7, p1-55. 55p.

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.

Authors: Basile, Davide ter Beek, Maurice H. Ferrari, Alessio et al.

Source: International Journal on Software Tools for Technology Transfer. Jun2022, Vol. 24 Issue 3, p351-370. 20p.

Subjects: Railroads, Joint ventures, Railroad trains, Statistical models

A formal framework for secure and complying services.

Authors: Basile, Davide Degano, Pierpaolo Ferrari, Gian

Source: Journal of Supercomputing; Jul2014, Vol. 69 Issue 1, p43-52, 10p

Applying supervisory control synthesis to priced featured automata and energy problems.

Authors: Basile, Davide^1,2 (AUTHOR) davide.basile@unifi.it

Source: International Journal on Software Tools for Technology Transfer. Dec2019, Vol. 21 Issue 6, p679-689. 11p.

Subjects: Supervisory control systems, Software product line engineering, Machine theory, Control theory (Engineering), Scientific community

Contract Automata Library.

Authors: Basile, Davide ter Beek, Maurice H.

Source: Science of Computer Programming. Sep2022, Vol. 221, pN.PAG-N.PAG. 1p.

Subjects: Industrialized building, Computer software quality control, Contracts, Software architecture, Design software

Controller synthesis of service contracts with variability.

Authors: Basile, Davide ter Beek, Maurice H. Degano, Pierpaolo et al.

Source: Science of Computer Programming. Feb2020, Vol. 187, pN.PAG-N.PAG. 1p.

Subjects: Service contracts, Supervisory control systems, Control theory (Engineering), Service level agreements, Music orchestration

Volatile times call for convertible solution.

Authors: Basile, Davide

Source: Fund Strategy. Apr2015, p13-13. 1p. 1 Graph.

Current volatility plays well into convertible bonds.

Authors: Basile, Davide

Source: Fundweb. 4/8/2015, p8-8. 1p.

Accuracy in predicting 135° neck-shaft angle short-stem and glenoid components size in reverse shoulder arthroplasty with 3D preoperative planning.

Authors: Donà A Bonfatti R Micheloni GM et al.

Source: Musculoskeletal surgery [Musculoskelet Surg] 2026 Jan 03. Date of Electronic Publication: 2026 Jan 03.

Publication Type: Journal Article

Journal Info: Publisher: Springer Verlag Italia Country of Publication: Italy NLM ID: 101498346 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2035-5114 (Electronic) Linking ISSN: 20355114 NLM ISO Abbreviation: Musculoskelet Surg Subsets: MEDLINE