Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.

L. Ferrucci, D. Mandrioli, A. Morzenti, and M. Rossi. FMICS, volume 7437 of Lecture Notes in Computer Science, page 162-176. Springer, (2012)

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.

Luca Remke University of Stuttgart

Luca Di Grazia University of Stuttgart

Philipp Luca Reiser University of Stuttgart

Dr. Simone Luca Portalupi University of Stuttgart

Gian-Luca Iglesias Lopez University of Stuttgart

Other publications of authors with the same name

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.L. Ferrucci, D. Mandrioli, A. Morzenti, and M. Rossi. FMICS, volume 7437 of Lecture Notes in Computer Science, page 162-176. Springer, (2012)Automated formal verification for flexible manufacturing systems.E. Carpanzano, L. Ferrucci, D. Mandrioli, M. Mazzolini, A. Morzenti, and M. Rossi. J. Intelligent Manufacturing, 25 (5): 1181-1195 (2014)Non-null Infinitesimal Micro-steps: a Metric Temporal Logic ApproachL. Ferrucci, D. Mandrioli, A. Morzenti, and M. Rossi. CoRR, (2012)Introducing New Technology into Italian Certified Electronic Mail: A Proposal.M. Buzzi, L. Ferrucci, F. Gennai, and C. Petrucci. TELERISE@ICSE, page 32-37. IEEE Computer Society, (2015)Hivory: Range Queries on Hierarchical Voronoi Overlays.M. Mordacchini, L. Ricci, L. Ferrucci, M. Albano, and R. Baraglia. Peer-to-Peer Computing, page 1-10. IEEE, (2010)A Metric Temporal Logic for Dealing with Zero-Time Transitions.L. Ferrucci, D. Mandrioli, A. Morzenti, and M. Rossi. TIME, page 81-88. IEEE Computer Society, (2012)An LTL Semantics of BusinessWorkflows with Recovery.L. Ferrucci, M. Bersani, and M. Mazzara. ICSOFT PT, page 29-40. SciTePress, (2014)A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.M. Rossi, D. Mandrioli, A. Morzenti, and L. Ferrucci. Theor. Comput. Sci., (2016)Interoperability of home automation systems as a critical challenge for IoT.V. Miori, D. Russo, and L. Ferrucci. ICCCS, page 1-7. IEEE, (2019)A Timed Semantics of Workflows.M. Bersani, S. Distefano, L. Ferrucci, and M. Mazzara. ICSOFT (Selected Papers), volume 555 of Communications in Computer and Information Science, page 365-383. Springer, (2014)