( en | de | ru )

 

Disambiguation of "Bartocci, Ezio"

Author of the publication

copydeleteadd this publication to your clipboard
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.

, , , and . DAC, page 1-6. IEEE, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ezio Iacono

Matthias Obanechem Ezioba

 

Other publications of authors with the same name

Enacting Proactive Workflows Engine in e-Science., , and . International Conference on Computational Science (3), volume 3993 of Lecture Notes in Computer Science, page 1012-1015. Springer, (2006)Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting., , , , and . CMSB, volume 11773 of Lecture Notes in Computer Science, page 120-139. Springer, (2019)Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study., , , and . Trans. Computational Systems Biology, (2012)BioWMS: a web-based Workflow Management System for bioinformatics., , , and . BMC Bioinform., (2007)Timed Operational Semantics and Well-Formedness of Shape Calculus., , , , and . Sci. Ann. Comput. Sci., (2010)Runtime Verification of Autonomous Driving Systems in CARLA., , and . RV, volume 12399 of Lecture Notes in Computer Science, page 172-183. Springer, (2020)Policy learning in continuous-time Markov decision processes using Gaussian Processes., , , , and . Perform. Evaluation, (2017)A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"., and . SIGACT News, 52 (4): 76-77 (2021)A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems., , , and . Log. Methods Comput. Sci., (2022)Hybrid Systems and Biology., , and . Inf. Comput., (2014)