( en | de | ru )

 

Disambiguation of "Pelliccione, Patrizio"

Author of the publication

copydeleteadd this publication to your clipboard
Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.

, , , and . FORTE Workshops, volume 3236 of Lecture Notes in Computer Science, page 351-365. Springer, (2004)

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.

Patrizio Collovà

Patrizio Foresta

Patrizio Mattei

Patrizio Merloni

Patrizio Neff

 

Other publications of authors with the same name

From Requirements to code: an Architecture-centric Approach for producing Quality Systems, , , and . CoRR, (2009)Ethical and Social Aspects of Self-Driving Cars., , and . CoRR, (2018)Automatic generation of detailed flight plans from high-level mission descriptions., , , and . MoDELS, page 45-55. ACM, (2016)Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach., , , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 243-258. Springer, (2006)Charmy: A Framework for Designing and Validating Architectural Specifications, , , and . Ercim News n.58, (2004)Magazine..Wiley Encyclopedia of Computer Science and Engineering 6th Edition, , and . 3, chapter Model Checking, page 1904-1920. Benjamin W. Wah, NEW YORK – USA, (2009)Report of the 1st International Workshop on Context-aware Autonomous and Smart Architectures (CASA@ECSA 2017)., , , , , , and . ACM SIGSOFT Softw. Eng. Notes, 43 (4): 24-27 (2018)Reference architectures modelling and compliance checking., , , , and . Softw. Syst. Model., 22 (3): 891-917 (2023)Self-Adaptation in Industry: A Survey., , , , , , , , , and 6 other author(s). CoRR, (2022)Automatic generation of predictive monitors from scenario-based specifications., , , and . Inf. Softw. Technol., (2018)