default search action
Alberto Ferrari
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j21]Alberto Ferrari, Karen Willcox
:
Digital twins in mechanical and aerospace engineering. Nat. Comput. Sci. 4(3): 178-183 (2024) - 2023
- [j20]Alberto Ferrari, Fritz Körmann
Simulating short-range order in compositionally complex materials. Nat. Comput. Sci. 3(3): 221-229 (2023) - [j19]Daniele Goldoni
Blood-pH Optical Measurement: A Model to Compensate for the Effects of Temperature. IEEE Trans. Instrum. Meas. 72: 1-8 (2023) - 2022
- [c52]Daniele Goldoni
Towards a Temperature Compensated Model for a Blood-pH Sensor in Extracorporeal Circulation. I2MTC 2022: 1-6 - 2021
- [j18]Alberto Ferrari
Simulating SARS-CoV-2 epidemics by region-specific variables and modeling contact tracing app containment. npj Digit. Medicine 4 (2021) - [c51]Stefano Cattini
A preliminary investigation of the robustness of a measuring instrument for blood-pCO2 measurement during ECC. I2MTC 2021: 1-6
2010 – 2019
- 2019
- [p2]Marco Rocchetto, Alberto Ferrari, Valerio Senni
Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems. Resilience of Cyber-Physical Systems 2019: 25-47 - [i1]Alberto Ferrari, Manuel Gadella, Luis Lara, Eduardo Santillan Marcus:
Approximate solutions of one dimensional systems with fractional derivative. CoRR abs/1910.08182 (2019) - 2018
- [j17]Loris Dal Lago
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection. IEEE Trans. Ind. Informatics 14(1): 360-369 (2018) - [c50]Giulio Angiani, Alberto Ferrari, Paolo Fornacciari, Monica Mordonini, Michele Tomaiuolo
Real Marks Analysis for Predicting Students' Performance. MIS4TEL 2018: 37-44 - [c49]Michele Tomaiuolo
A Week of Playing with Code, the Object-Oriented Way. MIS4TEL 2018: 62-69 - [p1]Orlando Ferrante, Alberto Ferrari, Christos Sofronis, Leonardo Mangeruca, Luca Benvenuti
An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems. Handbook of Parallel Constraint Reasoning 2018: 617-632 - 2017
- [j16]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): e3 (2017) - [j15]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): e2 (2017) - [c48]Gianfranco Lombardo
Dynamics of Emotions and Relations in a Facebook Group of Patients with Hidradenitis Suppurativa. GOODTECHS 2017: 269-278 - [c47]Alberto Ferrari
OOPP: Tame the Design of Simple Object-Oriented Applications with Graphical Blocks. GOODTECHS 2017: 279-288 - [c46]Luca Bergamini, Simone Calderara, Nicola Bicocchi, Alberto Ferrari
Signal Processing and Machine Learning for Diplegia Classification. ICIAP Workshops 2017: 97-108 - [c45]Orlando Ferrante, Luigi Di Guglielmo, Valerio Senni
Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems. IMBSA 2017: 243-254 - 2016
- [j14]Andrea Calvi, Alberto Ferrari, Luca Sbuelz
Recognizing Physisorption and Chemisorption in Carbon Nanotubes Gas Sensors by Double Exponential Fitting of the Response. Sensors 16(5): 731 (2016) - [c44]Alberto Ferrari, Pieter Ginis
Handling Gait Impairments of Persons with Parkinson's Disease by Means of Real-Time Biofeedback in a Daily Life Environment. ICOST 2016: 250-261 - [c43]Michele Amoretti, Alberto Ferrari, Paolo Fornacciari, Monica Mordonini, Francesco Rosi, Michele Tomaiuolo:
Local-First Algorithms for Community Detection. KDWeb 2016 - [c42]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: 76-85 - 2015
- [c41]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: 178-189 - 2014
- [j13]Filippo Casamassima, Alberto Ferrari
A Wearable System for Gait Training in Subjects with Parkinson's Disease. Sensors 14(4): 6229-6246 (2014) - [c40]Marco Marazza, Francesco Menichelli, Mauro Olivieri
A Model-Based Methodology to Generate Code for Timer Units. ApplePies 2014: 203-210 - [c39]Orlando Ferrante, Roberto Passerone
BCL: A compositional contract language for embedded systems. ETFA 2014: 1-6 - [c38]Orlando Ferrante, Alberto Ferrari, Marco Marazza:
Model based generation of high coverage test suites for embedded systems. ETS 2014: 1-2 - [c37]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: 137-146 - 2013
- [j12]Josien C. van den Noort
Gait analysis in children with cerebral palsy via inertial and magnetic sensors. Medical Biol. Eng. Comput. 51(4): 377-386 (2013) - [c36]Filippo Casamassima, Alberto Ferrari
Wearable audio-feedback system for gait rehabilitation in subjects with Parkinson's disease. UbiComp (Adjunct Publication) 2013: 275-278 - [c35]Leonardo Mangeruca, Orlando Ferrante, Alberto Ferrari:
Formalization and completeness of evolving requirements using Contracts. SIES 2013: 120-129 - 2012
- [c34]Luca Benvenuti
Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis. RP 2012: 79-91 - [c33]Orlando Ferrante, Luca Benvenuti
Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems. SAFECOMP Workshops 2012: 409-416 - [c32]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: 267-270 - 2010
- [j11]Alberto Ferrari
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): 1-15 (2010) - [j10]Andrea Giovanni Cutti, Alberto Ferrari
'Outwalk': a protocol for clinical gait analysis based on inertial and magnetic sensors. Medical Biol. Eng. Comput. 48(1): 17-25 (2010)
2000 – 2009
- 2009
- [j9]Roberto Passerone
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26(3): 38-53 (2009) - [j8]Pietro Garofalo
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): 475-486 (2009) - [c31]Alberto Ferrari, Marco Di Natale, Giacomo Gentile
Time and memory tradeoffs in the implementation of AUTOSAR components. DATE 2009: 864-869 - 2008
- [c30]Luca Benvenuti
Composing hybrid systems. CDC 2008: 4693-4699 - [c29]T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli
Physical Architectures of Automotive Systems. DATE 2008: 391-395 - [c28]Alessandro Mignogna, Massimo Conti
Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard. DSD 2008: 839-843 - [c27]Luca Benvenuti
A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). FDL 2008: 142-147 - [c26]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: 58-71 - [c25]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: 1798-1803 - 2007
- [j7]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): 6:1-6:30 (2007) - [j6]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): 497-509 (2007) - [c24]Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone
Multiple Viewpoint Contract-Based Specification and Design. FMCO 2007: 200-225 - [c23]Michele Cirinei, Enrico Bini
A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors. IPDPS 2007: 1-8 - 2006
- [c22]Leonardo Mangeruca, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
Uniprocessor Scheduling Under Precedence Constraints. IEEE Real Time Technology and Applications Symposium 2006: 157-166 - 2005
- [c21]Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development. DATE 2005: 1044-1049 - [c20]Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli:
Efficient embedded software design with synchronous models. EMSOFT 2005: 187-190 - [c19]Paolo Gai, Giuseppe Lipari
Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores. SoCC 2005: 109-110 - 2004
- [c18]Jean-Yves Brunel, Marco Di Natale
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. DATE 2004: 358-363 - [c17]Luciano Lavagno, Marco Di Natale, Alberto Ferrari, Paolo Giusto:
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors. UML Satellite Activities 2004: 150-162 - 2003
- [c16]Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Maurizio Peri, Saverio Pezzini:
Fault-tolerant platforms for automotive safety-critical applications. CASES 2003: 170-177 - [c15]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: 20232-20237 - [c14]Paolo Gai
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: 189- - 2002
- [c13]Andrea Balluchi, Luca Beradi, Maria Domenica Di Benedetto, Alberto Ferrari, Giovanni Girasole, Alberto L. Sangiovanni-Vincentelli:
Integrated control-implementation design. CDC 2002: 1337-1342 - [c12]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: 677-686 - [c11]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: 370-378 - [c10]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: 379- - 2001
- [c9]Marco Antoniotti, Alberto Ferrari, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich:
Embedded system design specification: merging reactive control and data computation. CDC 2001: 3302-3307 - 2000
- [j5]Alberto Ferrari, Michele Borgatti, Roberto Guerrieri:
A complete system for NN classification based on a VLSI array processor. Pattern Recognit. 33(12): 2083-2093 (2000) - [c8]Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli, Claudio Turchetti:
HW/SW Codesign of an Engine Management System. DATE 2000: 263-267
1990 – 1999
- 1999
- [j4]Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni
Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(3): 301-310 (1999) - [c7]Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli:
System Design: Traditional Concepts and New Paradigms. ICCD 1999: 2-13 - 1998
- [j3]Michele Borgatti, Marco Felici, Alberto Ferrari, Roberto Guerrieri:
A low-power integrated circuit for remote speech recognition. IEEE J. Solid State Circuits 33(7): 1082-1089 (1998) - [c6]Michele Borgatti, Marco Felici, Alberto Ferrari, Roberto Guerrieri:
A 1 V, 25 μW speech recognizer for portable systems. CICC 1998: 135-138 - [c5]Marco Felici, Michele Borgatti, Alberto Ferrari, Roberto Guerrieri:
A low-power VLSI feature extractor for speech recognition. ICASSP 1998: 3061-3064 - 1997
- [c4]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: 20-25 - 1996
- [j2]Alberto Ferrari, Antonella Bellettini, Roberto Guerrieri, Giorgio Baccarani
An ASIC chip set for parallel fuzzy database mining. IEEE Micro 16(6): 60-67 (1996) - [c3]Marco Felici, Alberto Ferrari, Michele Borgatti, Roberto Guerrieri:
Extraction of LP-based features from one-bit quantized speech signals for recognition purposes. EUSIPCO 1996: 1-4 - [c2]Alberto Ferrari, Michele Borgatti, Roberto Guerrieri:
A VLSI array processor accelerator for k-NN classification. ICPR 1996: 723-727 - 1993
- [j1]Mario Coppo, Alberto Ferrari:
Type Inference, Abstract Interpretation and Strictness Analysis. Theor. Comput. Sci. 121(1&2): 113-143 (1993) - [c1]Antonella Bellettini, Alberto Ferrari, Roberto Guerrieri, Giorgio Baccarani:
An array-processor based architecture for classification problems. ASAP 1993: 148-151
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: