Alberto Ferrari
Orcid: 0000-0003-2054-741X
According to our database1,
Alberto Ferrari
authored at least 74 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2023
IEEE Trans. Instrum. Meas., 2023
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
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
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2018
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
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
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
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
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
Sensors, 2014
Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the 19th IEEE European Test Symposium, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2014
2013
Medical Biol. Eng. Comput., 2013
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
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
IEEE Des. Test Comput., 2009
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
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
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 47th IEEE Conference on Decision and Control, 2008
2007
IEEE Trans. Software Eng., 2007
ACM Trans. Embed. Comput. Syst., 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007
2006
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
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
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
Proceedings of the International Conference on Compilers, 2003
2002
Proceedings of the 20th International Conference on Computer Design (ICCD 2002), 2002
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
Proceedings of the 41st IEEE Conference on Decision and Control, 2002
2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Pattern Recognit., 2000
1999
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999
Proceedings of the IEEE International Conference On Computer Design, 1999
1998
IEEE J. Solid State Circuits, 1998
Proceedings of the 1998 IEEE International Conference on Acoustics, 1998
Proceedings of the IEEE 1998 Custom Integrated Circuits Conference, 1998
1997
Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997
1996
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
Theor. Comput. Sci., 1993
Proceedings of the International Conference on Application-Specific Array Processors, 1993