Alberto Ferrari

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 20

Top Topics

Amyotrophic Lateral Sclerosis

Transitive Roles

Electrical Power Systems

Top Venues

SAFECOMP Workshops

EAI Endorsed Trans. Ind. Networks Intell. Syst.

Publications

Alberto Ferrari, Karen Willcox
Digital twins in mechanical and aerospace engineering. Nat. Comput. Sci. 4 (3) (2024)
Daniele Goldoni, Alberto Ferrari, Mattia Piccini, Stefano Cattini, Riccardo Molinari, Luigi Rovati
Blood-pH Optical Measurement: A Model to Compensate for the Effects of Temperature. IEEE Trans. Instrum. Meas. 72 (2023)
Alberto Ferrari, Fritz Körmann, Mark Asta, Jörg Neugebauer
Simulating short-range order in compositionally complex materials. Nat. Comput. Sci. 3 (3) (2023)
Daniele Goldoni, Alberto Ferrari, Mattia Piccini, Stefano Cattini, Luigi Rovati
Towards a Temperature Compensated Model for a Blood-pH Sensor in Extracorporeal Circulation. I2MTC (2022)
Stefano Cattini, Luca Accorsi, Stefano Truzzi, Alberto Ferrari, Luigi Rovati
A preliminary investigation of the robustness of a measuring instrument for blood-pCO2 measurement during ECC. I2MTC (2021)
Alberto Ferrari, Enrico Santus, Davide Cirillo, Miguel Ponce de Leon, Nicola Marino, Maria Teresa Ferretti, Antonella Santuccione Chadha, Nikolaos Mavridis, Alfonso Valencia
Simulating SARS-CoV-2 epidemics by region-specific variables and modeling contact tracing app containment. npj Digit. Medicine 4 (2021)
Alberto Ferrari, Manuel Gadella, Luis Lara, Eduardo Santillan Marcus
Approximate solutions of one dimensional systems with fractional derivative. CoRR (2019)
Michele Tomaiuolo, Giulio Angiani, Alberto Ferrari, Monica Mordonini, Agostino Poggi
A Week of Playing with Code, the Object-Oriented Way. MIS4TEL (2018)
Giulio Angiani, Alberto Ferrari, Paolo Fornacciari, Monica Mordonini, Michele Tomaiuolo
Real Marks Analysis for Predicting Students' Performance. MIS4TEL (2018)
Loris Dal Lago, Orlando Ferrante, Roberto Passerone, Alberto Ferrari
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection. IEEE Trans. Ind. Informatics 14 (1) (2018)
Luca Bergamini, Simone Calderara, Nicola Bicocchi, Alberto Ferrari, Giorgio Matteo Vitetta
Signal Processing and Machine Learning for Diplegia Classification. ICIAP Workshops (2017)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (10) (2017)
Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni, Alberto Ferrari
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA (2017)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (11) (2017)
Alberto Ferrari, Gianfranco Lombardo, Monica Mordonini, Agostino Poggi, Michele Tomaiuolo
OOPP: Tame the Design of Simple Object-Oriented Applications with Graphical Blocks. GOODTECHS (2017)
Gianfranco Lombardo, Alberto Ferrari, Paolo Fornacciari, Monica Mordonini, Laura Sani, Michele Tomaiuolo
Dynamics of Emotions and Relations in a Facebook Group of Patients with Hidradenitis Suppurativa. GOODTECHS (2017)
Michele Amoretti, Alberto Ferrari, Paolo Fornacciari, Monica Mordonini, Francesco Rosi, Michele Tomaiuolo
Local-First Algorithms for Community Detection. KDWeb (2016)
Andrea Calvi, Alberto Ferrari, Luca Sbuelz, Andrea Goldoni, Silvio Modesti
Recognizing Physisorption and Chemisorption in Carbon Nanotubes Gas Sensors by Double Exponential Fitting of the Response. Sensors 16 (5) (2016)
Alberto Ferrari, Pieter Ginis, Alice Nieuwboer, Reynold Greenlaw, Andrew Muddiman, Lorenzo Chiari
Handling Gait Impairments of Persons with Parkinson's Disease by Means of Real-Time Biofeedback in a Daily Life Environment. ICOST (2016)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. SimuTools (2016)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Luigi Velardi
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. SAFECOMP Workshops (2015)
Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis
BCL: A compositional contract language for embedded systems. ETFA (2014)
Marco Marazza, Francesco Menichelli, Mauro Olivieri, Orlando Ferrante, Alberto Ferrari
A Model-Based Methodology to Generate Code for Timer Units. ApplePies (2014)
Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. SAFECOMP Workshops (2014)
Orlando Ferrante, Alberto Ferrari, Marco Marazza
Model based generation of high coverage test suites for embedded systems. ETS (2014)
Filippo Casamassima, Alberto Ferrari, Bojan Milosevic, Pieter Ginis, Elisabetta Farella, Laura Rocchi
A Wearable System for Gait Training in Subjects with Parkinson's Disease. Sensors 14 (4) (2014)
Filippo Casamassima, Alberto Ferrari, Bojan Milosevic, Laura Rocchi, Elisabetta Farella
Wearable audio-feedback system for gait rehabilitation in subjects with Parkinson's disease. UbiComp (Adjunct Publication) (2013)
Josien C. van den Noort, Alberto Ferrari, Andrea Giovanni Cutti, Jules G. Becher, Jaap Harlaar
Gait analysis in children with cerebral palsy via inertial and magnetic sensors. Medical Biol. Eng. Comput. 51 (4) (2013)
Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari
Formalization and completeness of evolving requirements using Contracts. SIES (2013)
Alberto Ferrari, Marco Carloni, Alessandro Mignogna, Francesco Menichelli, David Ginsberg, Eelco Scholte, Dang Nguyen
Scalable virtual prototyping of distributed embedded control in a modern elevator system. SIES (2012)
Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. SAFECOMP Workshops (2012)
Luca Benvenuti, Davide Bresolin, Pieter Collins, Alberto Ferrari, Luca Geretti, Tiziano Villa
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP (2012)
Andrea Giovanni Cutti, Alberto Ferrari, Pietro Garofalo, Michele Raggi, Angelo Cappello, Adriano Ferrari
'Outwalk': a protocol for clinical gait analysis based on inertial and magnetic sensors. Medical Biol. Eng. Comput. 48 (1) (2010)
Alberto Ferrari, Andrea Giovanni Cutti, Pietro Garofalo, Michele Raggi, Monique Heijboer, Angelo Cappello, Angelo Davalli
First in vivo assessment of "Outwalk": a novel protocol for clinical gait analysis based on inertial and magnetic sensors. Medical Biol. Eng. Comput. 48 (1) (2010)
Pietro Garofalo, Andrea Giovanni Cutti, Maria Vittoria Filippi, Stefano Cavazza, Alberto Ferrari, Angelo Cappello, Angelo Davalli
Inter-operator reliability and prediction bands of a novel protocol to measure the coordinated movements of shoulder-girdle and humerus in clinical settings. Medical Biol. Eng. Comput. 47 (5) (2009)
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26 (3) (2009)
Alberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai
Time and memory tradeoffs in the implementation of AUTOSAR components. DATE (2009)
Alessandro Mignogna, Massimo Conti, M. D'Angelo, Massimo Baleani, Alberto Ferrari
Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. DSD (2008)
T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
Physical Architectures of Automotive Systems. DATE (2008)
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
Composing hybrid systems. CDC (2008)
Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL (2008)
Massimiliano D'Angelo, Marco Carloni, Alberto Ferrari, Fortunato Santucci
A Layered Approach to Modelling and Design of Cross-Layer Protocols in Ad-Hoc Wireless Networks. WCNC (2008)
Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. HSCC (2008)
Michele Cirinei, Enrico Bini, Giuseppe Lipari, Alberto Ferrari
A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors. IPDPS (2007)
Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng. 33 (8) (2007)
Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
Uniprocessor scheduling under precedence constraints for embedded systems design. ACM Trans. Embed. Comput. Syst. 7 (1) (2007)
Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis
Multiple Viewpoint Contract-Based Specification and Design. FMCO (2007)
Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium (2006)
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE (2005)
Paolo Gai, Giuseppe Lipari, Marco Di Natale, Matteo Duranti, Alberto Ferrari
Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores. SoCC (2005)
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli
Efficient embedded software design with synchronous models. EMSOFT (2005)
Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. UML Satellite Activities (2004)
Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. DATE (2004)
Paolo Gai, Marco Di Natale, Giuseppe Lipari, Alberto Ferrari, Claudio Gabellini, Paolo Marceca
A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. IEEE Real Time Technology and Applications Symposium (2003)
Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini
Fault-tolerant platforms for automotive safety-critical applications. CASES (2003)
Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Andrea Pierantoni, Michele Pennese
System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. DATE (2003)
Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto
Models of IP's for Automotive Virtual Integration Platforms. ICCD (2002)
Andrea Balluchi, Luca Beradi, Maria Domenica Di Benedetto, Alberto Ferrari, Giovanni Girasole, Alberto L. Sangiovanni-Vincentelli
Integrated control-implementation design. CDC (2002)
Massimo Baleani, Massimo Conti, Alberto Ferrari, Valerio Frascolla, Alberto L. Sangiovanni-Vincentelli
An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. FPL (2002)
Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
Automotive Virtual Integration Platforms: Why's, What's, and How's. ICCD (2002)
Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich
Embedded system design specification: merging reactive control and data computation. CDC (2001)
Alberto Ferrari, Michele Borgatti, Roberto Guerrieri
A complete system for NN classification based on a VLSI array processor. Pattern Recognit. 33 (12) (2000)
Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti
HW/SW Codesign of an Engine Management System. DATE (2000)
Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
System Design: Traditional Concepts and New Paradigms. ICCD (1999)
Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (3) (1999)
Marco Felici, Michele Borgatti, Alberto Ferrari, Roberto Guerrieri
A low-power VLSI feature extractor for speech recognition. ICASSP (1998)
Michele Borgatti, Marco Felici, Alberto Ferrari, Roberto Guerrieri
A 1 V, 25 μW speech recognizer for portable systems. CICC (1998)
Michele Borgatti, Marco Felici, Alberto Ferrari, Roberto Guerrieri
A low-power integrated circuit for remote speech recognition. IEEE J. Solid State Circuits 33 (7) (1998)
Michele Borgatti, E. Cevenini, Roberto Rambaldi, Marco Felici, Alberto Ferrari, Roberto Guerrieri
Fast board-level prototyping of a speech recognition system using virtual emulation. IEEE International Workshop on Rapid System Prototyping (1997)
Marco Felici, Alberto Ferrari, Michele Borgatti, Roberto Guerrieri
Extraction of LP-based features from one-bit quantized speech signals for recognition purposes. EUSIPCO (1996)
Alberto Ferrari, Antonella Bellettini, Roberto Guerrieri, Giorgio Baccarani
An ASIC chip set for parallel fuzzy database mining. IEEE Micro 16 (6) (1996)
Alberto Ferrari, Michele Borgatti, Roberto Guerrieri
A VLSI array processor accelerator for k-NN classification. ICPR (1996)
Mario Coppo, Alberto Ferrari
Type Inference, Abstract Interpretation and Strictness Analysis. Theor. Comput. Sci. 121 (1&2) (1993)
Antonella Bellettini, Alberto Ferrari, Roberto Guerrieri, Giorgio Baccarani
An array-processor based architecture for classification problems. ASAP (1993)