An array-processor based architecture for classification problems. - Antonella Bellettini; Alberto Ferrari; Roberto Guerrieri; Giorgio Baccarani (ASAP, 1993)

Type Inference, Abstract Interpretation and Strictness Analysis. - Mario Coppo; Alberto Ferrari (Theor. Comput. Sci., 1993)

Extraction of LP-based features from one-bit quantized speech signals for recognition purposes. - Marco Felici; Alberto Ferrari; Michele Borgatti; Roberto Guerrieri (EUSIPCO, 1996)

A VLSI array processor accelerator for k-NN classification. - Alberto Ferrari; Michele Borgatti; Roberto Guerrieri (ICPR, 1996)

An ASIC chip set for parallel fuzzy database mining. - Alberto Ferrari; Antonella Bellettini; Roberto Guerrieri; Giorgio Baccarani (IEEE Micro, 1996)

Fast board-level prototyping of a speech recognition system using virtual emulation. - Michele Borgatti; E. Cevenini; Roberto Rambaldi; Marco Felici; Alberto Ferrari; Roberto Guerrieri (IEEE International Workshop on Rapid System Prototyping, 1997)

A 1 V, 25 μW speech recognizer for portable systems. - Michele Borgatti; Marco Felici; Alberto Ferrari; Roberto Guerrieri (CICC, 1998)

A low-power VLSI feature extractor for speech recognition. - Marco Felici; Michele Borgatti; Alberto Ferrari; Roberto Guerrieri (ICASSP, 1998)

A low-power integrated circuit for remote speech recognition. - Michele Borgatti; Marco Felici; Alberto Ferrari; Roberto Guerrieri (IEEE J. Solid State Circuits, 1998)

System Design: Traditional Concepts and New Paradigms. - Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (ICCD, 1999)

Modeling digital substrate noise injection in mixed-signal IC's. - Edoardo Charbon; Paolo Miliozzi; Luca P. Carloni; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

HW/SW Codesign of an Engine Management System. - Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli; Claudio Turchetti (DATE, 2000)

A complete system for NN classification based on a VLSI array processor. - Alberto Ferrari; Michele Borgatti; Roberto Guerrieri (Pattern Recognit., 2000)

Embedded system design specification: merging reactive control and data computation. - Marco Antoniotti; Alberto Ferrari; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli; Ellen Sentovich (CDC, 2001)

Integrated control-implementation design. - Andrea Balluchi; Luca Beradi; Maria Domenica Di Benedetto; Alberto Ferrari; Giovanni Girasole; Alberto L. Sangiovanni-Vincentelli (CDC, 2002)

An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms. - Massimo Baleani; Massimo Conti; Alberto Ferrari; Valerio Frascolla; Alberto L. Sangiovanni-Vincentelli (FPL, 2002)

Models of IP's for Automotive Virtual Integration Platforms. - Paolo Giusto; Jean-Yves Brunel; Alberto Ferrari; Eliane Fourgeau; Luciano Lavagno; Barry O'Rourke; Alberto L. Sangiovanni-Vincentelli; Emanuele Guasto (ICCD, 2002)

Automotive Virtual Integration Platforms: Why's, What's, and How's. - Paolo Giusto; Jean-Yves Brunel; Alberto Ferrari; Eliane Fourgeau; Luciano Lavagno; Alberto L. Sangiovanni-Vincentelli (ICCD, 2002)

Fault-tolerant platforms for automotive safety-critical applications. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli; Maurizio Peri; Saverio Pezzini (CASES, 2003)

System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain. - Leonardo Mangeruca; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli; Andrea Pierantoni; Michele Pennese (DATE, 2003)

A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform. - Paolo Gai; Marco Di Natale; Giuseppe Lipari; Alberto Ferrari; Claudio Gabellini; Paolo Marceca (IEEE Real Time Technology and Applications Symposium, 2003)

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. - Jean-Yves Brunel; Marco Di Natale; Alberto Ferrari; Paolo Giusto; Luciano Lavagno (DATE, 2004)

SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. - Luciano Lavagno; Marco Di Natale; Alberto Ferrari; Paolo Giusto (UML Satellite Activities, 2004)

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli; Ulrich Freund; Erhard Schlenker; Hans-Jörg Wolff (DATE, 2005)

Efficient embedded software design with synchronous models. - Massimo Baleani; Alberto Ferrari; Leonardo Mangeruca; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2005)

Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores. - Paolo Gai; Giuseppe Lipari; Marco Di Natale; Matteo Duranti; Alberto Ferrari (SoCC, 2005)

Uniprocessor Scheduling Under Precedence Constraints. - Leonardo Mangeruca; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (IEEE Real Time Technology and Applications Symposium, 2006)

Multiple Viewpoint Contract-Based Specification and Design. - Albert Benveniste; Benoît Caillaud; Alberto Ferrari; Leonardo Mangeruca; Roberto Passerone; Christos Sofronis (FMCO, 2007)

A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors. - Michele Cirinei; Enrico Bini; Giuseppe Lipari; Alberto Ferrari (IPDPS, 2007)

Uniprocessor scheduling under precedence constraints for embedded systems design. - Leonardo Mangeruca; Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2007)

Semantics-Preserving Design of Embedded Control Software from Synchronous Models. - Leonardo Mangeruca; Massimo Baleani; Alberto Ferrari; Alberto L. Sangiovanni-Vincentelli (IEEE Trans. Software Eng., 2007)

Composing hybrid systems. - Luca Benvenuti; Alberto Ferrari; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli (CDC, 2008)

Physical Architectures of Automotive Systems. - T. Forest; Alberto Ferrari; G. Audisio; Marco Sabatini; Alberto L. Sangiovanni-Vincentelli; Marco Di Natale (DATE, 2008)

Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. - Alessandro Mignogna; Massimo Conti; M. D'Angelo; Massimo Baleani; Alberto Ferrari (DSD, 2008)

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). - Luca Benvenuti; Alberto Ferrari; Leonardo Mangeruca; Emanuele Mazzi; Roberto Passerone; Christos Sofronis (FDL, 2008)

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. - Luca Benvenuti; Alberto Ferrari; Emanuele Mazzi; Alberto L. Sangiovanni-Vincentelli (HSCC, 2008)

A Layered Approach to Modelling and Design of Cross-Layer Protocols in Ad-Hoc Wireless Networks. - Massimiliano D'Angelo; Marco Carloni; Alberto Ferrari; Fortunato Santucci (WCNC, 2008)

Time and memory tradeoffs in the implementation of AUTOSAR components. - Alberto Ferrari; Marco Di Natale; Giacomo Gentile; Giovanni Reggiani; Paolo Gai (DATE, 2009)

Metamodels in Europe: Languages, Tools, and Applications. - 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; et al. (IEEE Des. Test Comput., 2009)

Inter-operator reliability and prediction bands of a novel protocol to measure the coordinated movements of shoulder-girdle and humerus in clinical settings. - Pietro Garofalo; Andrea Giovanni Cutti; Maria Vittoria Filippi; Stefano Cavazza; Alberto Ferrari; Angelo Cappello; Angelo Davalli (Medical Biol. Eng. Comput., 2009)

'Outwalk': a protocol for clinical gait analysis based on inertial and magnetic sensors. - Andrea Giovanni Cutti; Alberto Ferrari; Pietro Garofalo; Michele Raggi; Angelo Cappello; Adriano Ferrari (Medical Biol. Eng. Comput., 2010)

First in vivo assessment of "Outwalk": a novel protocol for clinical gait analysis based on inertial and magnetic sensors. - Alberto Ferrari; Andrea Giovanni Cutti; Pietro Garofalo; Michele Raggi; Monique Heijboer; Angelo Cappello; Angelo Davalli (Medical Biol. Eng. Comput., 2010)

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. - Luca Benvenuti; Davide Bresolin; Pieter Collins; Alberto Ferrari; Luca Geretti; Tiziano Villa (RP, 2012)

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. - Orlando Ferrante; Luca Benvenuti; Leonardo Mangeruca; Christos Sofronis; Alberto Ferrari (SAFECOMP Workshops, 2012)

Scalable virtual prototyping of distributed embedded control in a modern elevator system. - Alberto Ferrari; Marco Carloni; Alessandro Mignogna; Francesco Menichelli; David Ginsberg; Eelco Scholte; Dang Nguyen 005 (SIES, 2012)

Wearable audio-feedback system for gait rehabilitation in subjects with Parkinson's disease. - Filippo Casamassima; Alberto Ferrari; Bojan Milosevic; Laura Rocchi; Elisabetta Farella (UbiComp (Adjunct Publication), 2013)

Formalization and completeness of evolving requirements using Contracts. - Leonardo Mangeruca; Orlando Ferrante; Alberto Ferrari (SIES, 2013)

Gait analysis in children with cerebral palsy via inertial and magnetic sensors. - Josien C. van den Noort; Alberto Ferrari; Andrea Giovanni Cutti; Jules G. Becher; Jaap Harlaar (Medical Biol. Eng. Comput., 2013)

A Model-Based Methodology to Generate Code for Timer Units. - Marco Marazza; Francesco Menichelli; Mauro Olivieri; Orlando Ferrante; Alberto Ferrari (ApplePies, 2014)

BCL: A compositional contract language for embedded systems. - Orlando Ferrante; Roberto Passerone; Alberto Ferrari; Leonardo Mangeruca; Christos Sofronis (ETFA, 2014)

Model based generation of high coverage test suites for embedded systems. - Orlando Ferrante; Alberto Ferrari; Marco Marazza (ETS, 2014)

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System. - Marco Carloni; Orlando Ferrante; Alberto Ferrari; Gianpaolo Massaroli; Antonio Orazzo; Ida Petrone; Luigi Velardi (SAFECOMP Workshops, 2014)

A Wearable System for Gait Training in Subjects with Parkinson's Disease. - Filippo Casamassima; Alberto Ferrari; Bojan Milosevic; Pieter Ginis; Elisabetta Farella; Laura Rocchi (Sensors, 2014)

Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case. - Marco Carloni; Orlando Ferrante; Alberto Ferrari; Gianpaolo Massaroli; Antonio Orazzo; Luigi Velardi (SAFECOMP Workshops, 2015)

Handling Gait Impairments of Persons with Parkinson's Disease by Means of Real-Time Biofeedback in a Daily Life Environment. - Alberto Ferrari; Pieter Ginis; Alice Nieuwboer; Reynold Greenlaw; Andrew Muddiman; Lorenzo Chiari (ICOST, 2016)

Local-First Algorithms for Community Detection. - Michele Amoretti; Alberto Ferrari; Paolo Fornacciari; Monica Mordonini; Francesco Rosi; Michele Tomaiuolo (KDWeb, 2016)

An Application of SMC to continuous validation of heterogeneous systems. - Alexandre Arnold; Massimo Baleani; Alberto Ferrari; Marco Marazza; Valerio Senni; Axel Legay; Jean Quilbeuf; Christoph Etzien (SimuTools, 2016)

Recognizing Physisorption and Chemisorption in Carbon Nanotubes Gas Sensors by Double Exponential Fitting of the Response. - Andrea Calvi; Alberto Ferrari; Luca Sbuelz; Andrea Goldoni; Silvio Modesti (Sensors, 2016)

OOPP: Tame the Design of Simple Object-Oriented Applications with Graphical Blocks. - Alberto Ferrari; Gianfranco Lombardo; Monica Mordonini; Agostino Poggi; Michele Tomaiuolo (GOODTECHS, 2017)

Dynamics of Emotions and Relations in a Facebook Group of Patients with Hidradenitis Suppurativa. - Gianfranco Lombardo; Alberto Ferrari; Paolo Fornacciari; Monica Mordonini; Laura Sani; Michele Tomaiuolo (GOODTECHS, 2017)

Signal Processing and Machine Learning for Diplegia Classification. - Luca Bergamini; Simone Calderara; Nicola Bicocchi; Alberto Ferrari; Giorgio Matteo Vitetta (ICIAP Workshops, 2017)

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. - Orlando Ferrante; Luigi Di Guglielmo; Valerio Senni; Alberto Ferrari (IMBSA, 2017)

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. - Orlando Ferrante; Alberto Ferrari; Christos Sofronis; Leonardo Mangeruca; Luca Benvenuti (Handbook of Parallel Constraint Reasoning, 2018)

Real Marks Analysis for Predicting Students' Performance. - Giulio Angiani; Alberto Ferrari; Paolo Fornacciari; Monica Mordonini; Michele Tomaiuolo (MIS4TEL, 2018)

A Week of Playing with Code, the Object-Oriented Way. - Michele Tomaiuolo; Giulio Angiani; Alberto Ferrari; Monica Mordonini; Agostino Poggi (MIS4TEL, 2018)

Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection. - Loris Dal Lago; Orlando Ferrante; Roberto Passerone; Alberto Ferrari (IEEE Trans. Ind. Informatics, 2018)

Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems. - Marco Rocchetto; Alberto Ferrari; Valerio Senni (Resilience of Cyber-Physical Systems, 2019)

Approximate solutions of one dimensional systems with fractional derivative. - Alberto Ferrari; Manuel Gadella; Luis Lara; Eduardo Santillan Marcus (CoRR, 2019)

A preliminary investigation of the robustness of a measuring instrument for blood-pCO2 measurement during ECC. - Stefano Cattini; Luca Accorsi; Stefano Truzzi; Alberto Ferrari; Luigi Rovati (I2MTC, 2021)

Simulating SARS-CoV-2 epidemics by region-specific variables and modeling contact tracing app containment. - Alberto Ferrari; Enrico Santus; Davide Cirillo; Miguel Ponce de Leon; Nicola Marino; Maria Teresa Ferretti; Antonella Santuccione Chadha; Nikolaos Mavridis; Alfonso Valencia (npj Digit. Medicine, 2021)

Towards a Temperature Compensated Model for a Blood-pH Sensor in Extracorporeal Circulation. - Daniele Goldoni; Alberto Ferrari; Mattia Piccini; Stefano Cattini; Luigi Rovati (I2MTC, 2022)

Simulating short-range order in compositionally complex materials. - Alberto Ferrari; Fritz Körmann; Mark Asta; Jörg Neugebauer (Nat. Comput. Sci., 2023)

Blood-pH Optical Measurement: A Model to Compensate for the Effects of Temperature. - Daniele Goldoni; Alberto Ferrari; Mattia Piccini; Stefano Cattini; Riccardo Molinari; Luigi Rovati (IEEE Trans. Instrum. Meas., 2023)

Digital twins in mechanical and aerospace engineering. - Alberto Ferrari; Karen Willcox (Nat. Comput. Sci., 2024)