( en | de | ru )

 

Disambiguation of "Spagnolo, Giorgio Oronzo"

Author of the publication

copydeleteadd this publication to your clipboard
An Experience on Applying Process Mining Techniques to the Tuscan Port Community System.

, , , , , , and . SWQD, volume 238 of Lecture Notes in Business Information Processing, page 49-60. Springer, (2016)

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

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)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)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)An Experience on Applying Process Mining Techniques to the Tuscan Port Community System., , , , , , and . SWQD, volume 238 of Lecture Notes in Business Information Processing, page 49-60. Springer, (2016)Towards the Automation of the Travel Management Procedure of an Italian Public Administration., , , , , and . SWQD, volume 269 of Lecture Notes in Business Information Processing, page 175-187. Springer, (2017)Smart Services for Railways., , , and . ERCIM News, (2019)A Lightweight Software Product Quality Evaluation Method., and . ICSOFT, page 524-531. SCITEPRESS, (2022)Designing a Deadlock-Free Train Scheduler: A Model Checking Approach., , and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 264-269. Springer, (2014)PURE: A Dataset of Public Requirements Documents., , and . RE, page 502-505. IEEE Computer Society, (2017)