Completion of SysML state machines from Given-When-Then requirements.

Angelo Palladino

Maria Stella de Biase Simona Bernardi 0001 Stefano Marrone 0001 José Merseguer Angelo Palladino Completion of SysML state machines from Given-When-Then requirements. 1455-1491 2024 December 23 Softw. Syst. Model. 6 https://doi.org/10.1007/s10270-024-01228-3 db/journals/sosym/sosym23.html#BiaseBMMP24 streams/journals/sosym

Mariapia Raimondo Stefano Marrone 0001 Simona Bernardi 0001 Angelo Palladino Demonstrating the Necessity of Model Generation in Security Protocol Verification. 1-8 2023 ETFA https://doi.org/10.1109/ETFA54631.2023.10275424 conf/etfa/2023 db/conf/etfa/etfa2023.html#RaimondoMBP23

Francesco Bonavolontà Annalisa Liccardo Rosario Schiano Lo Moriello Enzo Caputo Giorgio de Alteriis Angelo Palladino Giuseppe Vitolo An Improved Method Based on Bluetooth Low-Energy Fingerprinting for the Implementation of PEPS System. 9615 2022 22 Sensors 24 https://doi.org/10.3390/s22249615 db/journals/sensors/sensors22.html#BonavolontaLMCA22

Mariapia Raimondo Stefano Marrone 0001 Angelo Palladino Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols. 2022 abs/2210.03020 CoRR https://doi.org/10.48550/arXiv.2210.03020 db/journals/corr/corr2210.html#abs-2210-03020

Maria Stella de Biase Stefano Marrone 0001 Angelo Palladino Towards Automatic Model Completion: from Requirements to SysML State Machines. 2022 abs/2210.03388 CoRR https://doi.org/10.48550/arXiv.2210.03388 db/journals/corr/corr2210.html#abs-2210-03388

Enrico Sentieri Tino Copani Andrea Paganini Matteo Traldi Angelo Palladino Antonio Santipo Lorenzo Gerosa Matteo Repossi Gianluca Catrini Marta Campo Francesco Radice Andrea Diodato Roberto Pelleriti Daniele Baldi Laura Tarantini Luca Maggi Gianluca Radaelli Stefano Cervini Francesco Clerici Angelo Moroni 12.2 A 4-Channel 200Gb/s PAM-4 BiCMOS Transceiver with Silicon Photonics Front-Ends for Gigabit Ethernet Applications. 210-212 2020 ISSCC https://doi.org/10.1109/ISSCC19947.2020.9062992 conf/isscc/2020 db/conf/isscc/isscc2020.html#SentieriCPTPSGR20 Giovanni Fiengo Alessandro di Gaeta Angelo Palladino Veniero Giglio Common Rail System for GDI Engines - Modelling, Identification, and Control 2013 i-viii, 1-81 Springer Springer Briefs in Electrical and Computer Engineering 978-1-4471-4467-0 978-1-4471-4468-7 https://doi.org/10.1007/978-1-4471-4468-7

Alessandro di Gaeta Umberto Montanaro Giovanni Fiengo Angelo Palladino Veniero Giglio A model-based gain scheduling approach for controlling the common-rail system for GDI engines. 419-436 2012 85 Int. J. Control 4 https://doi.org/10.1080/00207179.2012.654824 db/journals/ijcon/ijcon85.html#GaetaMFPG12

Federica Grossi Angelo Palladino Roberto Zanasi Giovanni Fiengo Modelling of an internal combustion engine using power-oriented graphs and electrical analogy. 122-133 2012 16 Int. J. Model. Identif. Control. 2 https://doi.org/10.1504/IJMIC.2012.047120 db/journals/ijmic/ijmic16.html#GrossiPZF12

Alessandro di Gaeta Giovanni Fiengo Angelo Palladino Veniero Giglio Design and experimental validation of a model-based injection pressure controller in a common rail system for GDI engine. 5273-5278 2011 ACC https://doi.org/10.1109/ACC.2011.5990940 conf/amcc/2011 db/conf/amcc/acc2011.html#GaetaFPG11 Angelo Palladino Luis Antonio Aguirre Giovanni Fiengo Rodrigo de Castro Lima Modeling priority analysis via Hybrid Petri Nets for an Internal Combustion Engine Management System. 670-675 2010 ACC https://doi.org/10.1109/ACC.2010.5531111 conf/amcc/2010 db/conf/amcc/acc2010.html#PalladinoAFL10 Federica Grossi Angelo Palladino Roberto Zanasi Giovanni Fiengo The POG technique for modelling engine dynamics based on electrical analogy. 2057-2063 2009 ACC https://doi.org/10.1109/ACC.2009.5160085 conf/amcc/2009 db/conf/amcc/acc2009.html#GrossiPZF09 Alessandro di Gaeta Giovanni Fiengo Angelo Palladino Veniero Giglio A control oriented model of a Common-Rail System for Gasoline Direct Injection engine. 6614-6619 2009 CDC https://doi.org/10.1109/CDC.2009.5400211 conf/cdc/2009 db/conf/cdc/cdc2009.html#GaetaFPG09 Angelo Palladino Giovanni Fiengo Fabio Giovagnini Domenico Lanzo A micro Hardware-In-the-Loop test system. 3833-3838 2009 ECC https://doi.org/10.23919/ECC.2009.7074997 conf/eucc/2009 db/conf/eucc/eucc2009.html#PalladinoFGL09 Ciro Mariniello Mirko Talindo Ragno Angelo Palladino Giovanni Fiengo Fuel consumption reduction during automotive Idle Speed Control. 4961-4966 2009 ECC https://doi.org/10.23919/ECC.2009.7075186 conf/eucc/2009 db/conf/eucc/eucc2009.html#MarinielloRPF09 Angelo Palladino Giovanni Fiengo Ferdinando De Cristofaro Alessandro Casavola Luigi Glielmo In cylinder air charge prediction for VVA system: Experimental validation. 239-244 2008 CCA https://doi.org/10.1109/CCA.2008.4629666 conf/IEEEcca/2008 db/conf/IEEEcca/IEEEcca2008.html#PalladinoFCCG08 Luis Antonio Aguirre Giorgio de Alteriis Daniele Baldi Simona Bernardi 0001 Maria Stella de Biase Francesco Bonavolontà Marta Campo Enzo Caputo Alessandro Casavola Gianluca Catrini Stefano Cervini Francesco Clerici Tino Copani Ferdinando De Cristofaro Andrea Diodato Giovanni Fiengo Alessandro di Gaeta Lorenzo Gerosa Veniero Giglio Fabio Giovagnini Luigi Glielmo Federica Grossi Domenico Lanzo Annalisa Liccardo Rodrigo de Castro Lima Luca Maggi Ciro Mariniello Stefano Marrone 0001 José Merseguer Umberto Montanaro Rosario Schiano Lo Moriello Angelo Moroni Andrea Paganini Roberto Pelleriti Gianluca Radaelli Francesco Radice Mirko Talindo Ragno Mariapia Raimondo Matteo Repossi Antonio Santipo Enrico Sentieri Laura Tarantini Matteo Traldi Giuseppe Vitolo Roberto Zanasi