Alberto Ferrari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
18
Active years
1996–2018
Best venue rank
A
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | MIS4TEL | Real Marks Analysis for Predicting Students' Performance. | Giulio Angiani, Alberto Ferrari, Paolo Fornacciari, Monica Mordonini, Michele Tomaiuolo |
| 2018 | MIS4TEL | A Week of Playing with Code, the Object-Oriented Way. | Michele Tomaiuolo, Giulio Angiani, Alberto Ferrari, Monica Mordonini, Agostino Poggi |
| 2017 | ICIAP | Signal Processing and Machine Learning for Diplegia Classification. | Luca Bergamini, Simone Calderara, Nicola Bicocchi, Alberto Ferrari, Giorgio Matteo Vitetta |
| 2016 | ICOST | 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 |
| 2015 | SAFECOMP | 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 |
| 2014 | ETFA | BCL: A compositional contract language for embedded systems. | Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis |
| 2014 | ETS | Model based generation of high coverage test suites for embedded systems. | Orlando Ferrante, Alberto Ferrari, Marco Marazza |
| 2014 | SAFECOMP | 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 |
| 2012 | SAFECOMP | Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. | Orlando Ferrante, Luca Benvenuti, Leonardo Mangeruca, Christos Sofronis, Alberto Ferrari |
| 2009 | DATE | Time and memory tradeoffs in the implementation of AUTOSAR components. | Alberto Ferrari, Marco Di Natale, Giacomo Gentile, Giovanni Reggiani, Paolo Gai |
| 2008 | DATE | Physical Architectures of Automotive Systems. | T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2008 | DSD | 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 |
| 2008 | FDL | A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). | Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis |
| 2008 | WCNC | 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 |
| 2006 | RTAS | Uniprocessor Scheduling Under Precedence Constraints. | Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
| 2005 | DATE | 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-Jrg Wolff |
| 2005 | EMSOFT | Efficient embedded software design with synchronous models. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli |
| 2004 | DATE | SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. | Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno |
| 2003 | CASES | Fault-tolerant platforms for automotive safety-critical applications. | Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini |
| 2003 | DATE | 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 |
| 2003 | RTAS | 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 |
| 2002 | FPL | 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 |
| 2002 | ICCD | 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 |
| 2002 | ICCD | 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 |
| 2000 | DATE | HW/SW Codesign of an Engine Management System. | Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti |
| 1999 | ICCD | System Design: Traditional Concepts and New Paradigms. | Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli |
| 1998 | ICASSP | A low-power VLSI feature extractor for speech recognition. | Marco Felici, Michele Borgatti, Alberto Ferrari, Roberto Guerrieri |
| 1997 | RSP | Fast board-level prototyping of a speech recognition system using virtual emulation. | Michele Borgatti, E. Cevenini, Roberto Rambaldi, Marco Felici, Alberto Ferrari, Roberto Guerrieri |
| 1996 | ICPR | A VLSI array processor accelerator for k-NN classification. | Alberto Ferrari, Michele Borgatti, Roberto Guerrieri |