Search results for: Ezio Bartocci
Formal Methods in System Design > 2019 > 55 > 1 > 72-72
Formal Methods in System Design > 2019 > 54 > 3 > 279-335
Formal Methods in System Design > 2018 > 53 > 1 > 83-112
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 4 > 401-423
Performance Evaluation > 2017 > 116 > C > 84-100
Formal Methods in System Design > 2017 > 51 > 1 > 1-4
Lecture Notes in Computer Science > Computational Science – ICCS 2006 > First International Workshop on Workflow Systems in e-Science (WSES6) > 1012-1015
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Systems > 326-340
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 4 > 355-357
Theoretical Computer Science > 2015 > 599 > Complete > 34-46
Theoretical Computer Science > 2015 > 587 > Complete > 3-25
53rd IEEE Conference on Decision and Control > 108 - 113
IEEE/ACM Transactions on Computational Biology and Bioinformatics > 2013 > 10 > 2 > 323 - 336