( en | de | ru )

 

Disambiguation of "Spagnolo, Giorgio Oronzo"

Author of the publication

copydeleteadd this publication to your clipboard
Checking Business Process Modeling Guidelines in Apromore.

, , , , , and . BPM (Demos), volume 1920 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)

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.

Angiolino Spagnolo

Giorgio Cortellaro

Giorgio Stefanoni

Giorgio Pudelko

Giorgio Borea

 

Other publications of authors with the same name

CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams., , , and . SPLC, page 402-410. ACM, (2015)Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System., , and . ISoLA (2), volume 9953 of Lecture Notes in Computer Science, page 297-314. (2016)Model-Based Evaluation of the Availability of a CBTC System., , , and . SERENE, volume 7527 of Lecture Notes in Computer Science, page 165-179. Springer, (2012)From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions., , , and . Int. J. Softw. Tools Technol. Transf., 16 (6): 647-667 (2014)Avoiding Gridlocks in the Centralised Dispatching of a Fleet of Autonomous Vehicles., , and . ERCIM News, (2017)Measuring and Improving the Completeness of Natural Language Requirements., , , and . REFSQ, volume 8396 of Lecture Notes in Computer Science, page 23-38. Springer, (2014)Spatial Model Checking for Smart Stations - Research Challenges., , , , and . FMICS, volume 12863 of Lecture Notes in Computer Science, page 39-47. Springer, (2021)Digitalisation of Agriculture: Development and Evaluation of a Model-based Requirements Engineering Process., , , and . REFSQ Workshops, volume 3378 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC., , , , , and . ISoLA (1), volume 12476 of Lecture Notes in Computer Science, page 368-384. Springer, (2020)QuOD: An NLP Tool to Improve the Quality of Business Process Descriptions., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 267-281. Springer, (2019)