Alberto Ferrari

Orcid: 0000-0003-2054-741X

According to our database1, Alberto Ferrari authored at least 74 papers between 1993 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Digital twins in mechanical and aerospace engineering.
Nat. Comput. Sci., 2024

2023
Blood-pH Optical Measurement: A Model to Compensate for the Effects of Temperature.
IEEE Trans. Instrum. Meas., 2023

Simulating short-range order in compositionally complex materials.
Nat. Comput. Sci., 2023

2022
Towards a Temperature Compensated Model for a Blood-pH Sensor in Extracorporeal Circulation.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2022

2021
Simulating SARS-CoV-2 epidemics by region-specific variables and modeling contact tracing app containment.
npj Digit. Medicine, 2021

A preliminary investigation of the robustness of a measuring instrument for blood-pCO2 measurement during ECC.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2021

2019
Approximate solutions of one dimensional systems with fractional derivative.
CoRR, 2019

Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems.
Proceedings of the Resilience of Cyber-Physical Systems, 2019

2018
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection.
IEEE Trans. Ind. Informatics, 2018

A Week of Playing with Code, the Object-Oriented Way.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2018

Real Marks Analysis for Predicting Students' Performance.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2018

An Application of Parallel Satisfiability Solving to the Verification of Complex Embedded Systems.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017
An Application of SMC to continuous validation of heterogeneous systems.
EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017

Application of Model-Based Safety Assessment to the Validation of Avionic Electrical Power Systems.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

Signal Processing and Machine Learning for Diplegia Classification.
Proceedings of the New Trends in Image Analysis and Processing - ICIAP 2017, 2017

Dynamics of Emotions and Relations in a Facebook Group of Patients with Hidradenitis Suppurativa.
Proceedings of the Smart Objects and Technologies for Social Good, 2017

OOPP: Tame the Design of Simple Object-Oriented Applications with Graphical Blocks.
Proceedings of the Smart Objects and Technologies for Social Good, 2017

2016
Recognizing Physisorption and Chemisorption in Carbon Nanotubes Gas Sensors by Double Exponential Fitting of the Response.
Sensors, 2016

Local-First Algorithms for Community Detection.
Proceedings of the 2nd International Workshop on Knowledge Discovery on the WEB, 2016

Handling Gait Impairments of Persons with Parkinson's Disease by Means of Real-Time Biofeedback in a Daily Life Environment.
Proceedings of the Inclusive Smart Cities and Digital Health, 2016

2015
Contract Modeling and Verification with FormalSpecs Verifier Tool-Suite - Application to Ansaldo STS Rapid Transit Metro System Use Case.
Proceedings of the Computer Safety, Reliability, and Security, 2015

2014
A Wearable System for Gait Training in Subjects with Parkinson's Disease.
Sensors, 2014

Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Model based generation of high coverage test suites for embedded systems.
Proceedings of the 19th IEEE European Test Symposium, 2014

BCL: A compositional contract language for embedded systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A Model-Based Methodology to Generate Code for Timer Units.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2014

2013
Gait analysis in children with cerebral palsy via inertial and magnetic sensors.
Medical Biol. Eng. Comput., 2013

Formalization and completeness of evolving requirements using Contracts.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Wearable audio-feedback system for gait rehabilitation in subjects with Parkinson's disease.
Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2013

2012
Scalable virtual prototyping of distributed embedded control in a modern elevator system.
Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems, 2012

Parallel NuSMV: A NuSMV Extension for the Verification of Complex Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis.
Proceedings of the Reachability Problems - 6th International Workshop, 2012

2010
First in vivo assessment of "Outwalk": a novel protocol for clinical gait analysis based on inertial and magnetic sensors.
Medical Biol. Eng. Comput., 2010

'Outwalk': a protocol for clinical gait analysis based on inertial and magnetic sensors.
Medical Biol. Eng. Comput., 2010

2009
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., 2009

Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput., 2009

Time and memory tradeoffs in the implementation of AUTOSAR components.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
A Layered Approach to Modelling and Design of Cross-Layer Protocols in Ad-Hoc Wireless Networks.
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008

Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

A Contract-based Formalism for the Specification of Heterogeneous Systems (invited).
Proceedings of the Forum on specification and Design Languages, 2008

Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard.
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

Physical Architectures of Automotive Systems.
Proceedings of the Design, Automation and Test in Europe, 2008

Composing hybrid systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Semantics-Preserving Design of Embedded Control Software from Synchronous Models.
IEEE Trans. Software Eng., 2007

Uniprocessor scheduling under precedence constraints for embedded systems design.
ACM Trans. Embed. Comput. Syst., 2007

A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Multiple Viewpoint Contract-Based Specification and Design.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006
Uniprocessor Scheduling Under Precedence Constraints.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

2005
Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores.
Proceedings of the Proceedings 2005 IEEE International SOC Conference, 2005

Efficient embedded software design with synchronous models.
Proceedings of the EMSOFT 2005, 2005

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.
Proceedings of the 2005 Design, 2005

2004
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors.
Proceedings of the UML Modeling Languages and Applications, 2004

SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract.
Proceedings of the 2004 Design, 2004

2003
A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform.
Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain.
Proceedings of the 2003 Design, 2003

Fault-tolerant platforms for automotive safety-critical applications.
Proceedings of the International Conference on Compilers, 2003

2002
Automotive Virtual Integration Platforms: Why's, What's, and How's.
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

Models of IP's for Automotive Virtual Integration Platforms.
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002

An Enhanced POLIS Framework for Fast Exploration and Implementation of I/O Subsystems on CSoC Platforms.
Proceedings of the Field-Programmable Logic and Applications, 2002

Integrated control-implementation design.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Embedded system design specification: merging reactive control and data computation.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000
A complete system for NN classification based on a VLSI array processor.
Pattern Recognit., 2000

HW/SW Codesign of an Engine Management System.
Proceedings of the 2000 Design, 2000

1999
Modeling digital substrate noise injection in mixed-signal IC's.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

System Design: Traditional Concepts and New Paradigms.
Proceedings of the IEEE International Conference On Computer Design, 1999

1998
A low-power integrated circuit for remote speech recognition.
IEEE J. Solid State Circuits, 1998

A low-power VLSI feature extractor for speech recognition.
Proceedings of the 1998 IEEE International Conference on Acoustics, 1998

A 1 V, 25 μW speech recognizer for portable systems.
Proceedings of the IEEE 1998 Custom Integrated Circuits Conference, 1998

1997
Fast board-level prototyping of a speech recognition system using virtual emulation.
Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997

1996
An ASIC chip set for parallel fuzzy database mining.
IEEE Micro, 1996

A VLSI array processor accelerator for k-NN classification.
Proceedings of the 13th International Conference on Pattern Recognition, 1996

Extraction of LP-based features from one-bit quantized speech signals for recognition purposes.
Proceedings of the 8th European Signal Processing Conference, 1996

1993
Type Inference, Abstract Interpretation and Strictness Analysis.
Theor. Comput. Sci., 1993

An array-processor based architecture for classification problems.
Proceedings of the International Conference on Application-Specific Array Processors, 1993


  Loading...