| Nome |
# |
|
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code, file e40f7b86-07ca-afca-e053-6605fe0aeaf2
|
718
|
|
Design and validation of a C++ code generator from Abstract State Machines specifications, file e40f7b88-eff8-afca-e053-6605fe0aeaf2
|
212
|
|
Evaluation of stereoacuity with a digital mobile application, file e40f7b89-f562-afca-e053-6605fe0aeaf2
|
154
|
|
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19, file e40f7b8a-e7fb-afca-e053-6605fe0aeaf2
|
140
|
|
Integrating formal methods into medical software development: The ASM approach, file e40f7b87-2731-afca-e053-6605fe0aeaf2
|
134
|
|
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study, file e40f7b89-c7eb-afca-e053-6605fe0aeaf2
|
88
|
|
A preliminary systematic literature review of the use of formal methods in medical software systems, file e40f7b8a-0b1d-afca-e053-6605fe0aeaf2
|
36
|
|
Compositional Simulation of Abstract State Machines for Safety Critical Systems, file 73d15424-d614-4f04-a2b7-589c201dfef3
|
33
|
|
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications, file a06ec136-a93e-413d-a9ae-a31dd21c007a
|
29
|
|
The female contribution in architecting a set of tools for a formal method. Role of women in Software Architecture, file e40f7b87-24e9-afca-e053-6605fe0aeaf2
|
9
|
|
A mobile application for the stereo acuity test, file e40f7b84-d918-afca-e053-6605fe0aeaf2
|
5
|
|
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines, file d12ac913-d810-4f1f-b592-7879f5b9601b
|
4
|
|
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype, file 11ec1b46-0f4d-43a6-ae96-91e2ac380857
|
3
|
|
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development, file c2135fd6-49c4-4b91-af1b-7c00c4aacd10
|
3
|
|
Stereo Digital Displays for Diagnosis and Treatment of Amblyopia, file e40f7b88-1e5a-afca-e053-6605fe0aeaf2
|
3
|
|
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications, file 285f34d2-035d-44b6-8c4b-2b6baeca3c9c
|
2
|
|
On the Reuse of Existing Configurations for Testing Evolving Feature Models, file 35d7f022-8d47-47ff-99a1-89dd0a76c989
|
2
|
|
RATE: A model-based testing approach that combines model refinement and test execution, file 7d0dacd3-1f93-4828-90ac-9973cb08320c
|
2
|
|
Towards an Evaluation Framework for Autonomous Systems, file c55ed309-3e19-40f3-95b5-b97787225615
|
2
|
|
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings], file cfa5b500-26b5-40ef-9202-40d04be0a5ad
|
2
|
|
Formal validation and verification of a medical software critical component, file e40f7b84-d437-afca-e053-6605fe0aeaf2
|
2
|
|
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation, file e40f7b85-037e-afca-e053-6605fe0aeaf2
|
2
|
|
Unified syntax for abstract state machines, file e40f7b85-ac3f-afca-e053-6605fe0aeaf2
|
2
|
|
Visual Notation and Patterns for Abstract State Machines, file e40f7b85-b494-afca-e053-6605fe0aeaf2
|
2
|
|
Asm2C++: A tool for code generation from abstract state machines to Arduino, file e40f7b86-6342-afca-e053-6605fe0aeaf2
|
2
|
|
Behind optical factors in anisometropic aniseiconia, file e40f7b88-170e-afca-e053-6605fe0aeaf2
|
2
|
|
Validation of transformation from abstract state machine models to C++ code, file e40f7b88-30f8-afca-e053-6605fe0aeaf2
|
2
|
|
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study, file e40f7b88-ee46-afca-e053-6605fe0aeaf2
|
2
|
|
Addressing usability in a formal development environment, file e40f7b89-3e62-afca-e053-6605fe0aeaf2
|
2
|
|
Extending ASMETA with Time Features, file e40f7b8a-1732-afca-e053-6605fe0aeaf2
|
2
|
|
The ASMETA Approach to Safety Assurance of Software Systems, file e40f7b8a-186c-afca-e053-6605fe0aeaf2
|
2
|
|
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare, file e40f7b8a-e206-afca-e053-6605fe0aeaf2
|
2
|
|
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation, file e40f7b8b-8c05-afca-e053-6605fe0aeaf2
|
2
|
|
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines, file 4487ad23-1708-4cda-8853-3fd5f9dd8ce6
|
1
|
|
Guidelines for the development of a critical software under emergency, file 519b3260-5a85-4283-b00f-636f7a51b7e0
|
1
|
|
A component framework for the runtime enforcement of safety properties, file 761fc320-1697-459c-b3b4-8ef29cbedc2c
|
1
|
|
Smartphone based video-telemetry logger for remote maintenance services, file e40f7b84-a55b-afca-e053-6605fe0aeaf2
|
1
|
|
How to assure correctness and safety of medical software: The hemodialysis machine case study, file e40f7b85-a6c2-afca-e053-6605fe0aeaf2
|
1
|
|
Rigorous Model-based Development of Programmable Electronic Medical Systems (PEMS): from Requirements to Code, file e40f7b86-a196-afca-e053-6605fe0aeaf2
|
1
|
|
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors, file e40f7b87-636b-afca-e053-6605fe0aeaf2
|
1
|
|
AsmetaA: Animator for abstract state machines, file e40f7b87-b5e0-afca-e053-6605fe0aeaf2
|
1
|
|
A systematic literature review of the use of formal methods in medical software systems, file e40f7b87-b733-afca-e053-6605fe0aeaf2
|
1
|
|
Generation of C++ Unit Tests from Abstract State Machines Specifications, file e40f7b87-b874-afca-e053-6605fe0aeaf2
|
1
|
|
Generation of behavior-driven development C++ tests from abstract state machine scenarios, file e40f7b88-1e57-afca-e053-6605fe0aeaf2
|
1
|
|
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA, file e40f7b89-886d-afca-e053-6605fe0aeaf2
|
1
|
|
Dealing with Robustness of Convolutional Neural Networks for Image Classification, file e40f7b89-886f-afca-e053-6605fe0aeaf2
|
1
|
|
The novel Mechanical Ventilator Milano for the COVID-19 pandemic, file e40f7b89-fd6a-afca-e053-6605fe0aeaf2
|
1
|
|
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers, file e40f7b8a-52bc-afca-e053-6605fe0aeaf2
|
1
|
|
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA, file e40f7b8a-6483-afca-e053-6605fe0aeaf2
|
1
|
|
A Runtime Safety Enforcement Approach by Monitoring and Adaptation, file e40f7b8a-649e-afca-e053-6605fe0aeaf2
|
1
|
|
Efficient Computation of Robustness of Convolutional Neural Networks, file e40f7b8a-b2be-afca-e053-6605fe0aeaf2
|
1
|
|
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller, file e40f7b8b-79e7-afca-e053-6605fe0aeaf2
|
1
|
| Totale |
1.626 |