Search

Your search keyword '"Gargantini, Angelo"' showing total 470 results
Start Over Author "Gargantini, Angelo"

Refine your results

more »

more »

more »

more »
470 results on '"Gargantini, Angelo"'

1. Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools

Author

Bombarda, Andrea and Gargantini, Angelo

Subjects
Computer Science - Software Engineering
Abstract

Combinatorial testing is a widely adopted technique for efficiently detecting faults in software. The quality of combinatorial test generators plays a crucial role in achieving effective test coverage. Evaluating combinatorial test generators remains a challenging task that requires diverse and representative benchmarks. Having such benchmarks might help developers to test their tools, and improve their performance. For this reason, in this paper, we present BenCIGen, a highly configurable generator of benchmarks to be used by combinatorial test generators, empowering users to customize the type of benchmarks generated, including constraints and parameters, as well as their complexity. An initial version of such a tool has been used during the CT-Competition, held yearly during the International Workshop on Combinatorial Testing. This paper describes the requirements, the design, the implementation, and the validation of BenCIGen. Tests for the validation of BenCIGen are derived from its requirements by using a combinatorial interaction approach. Moreover, we demonstrate the tool's ability to generate benchmarks that reflect the characteristics of real software systems. BenCIGen not only facilitates the evaluation of existing generators but also serves as a valuable resource for researchers and practitioners seeking to enhance the quality and effectiveness of combinatorial testing methodologies.

Published
2023
Full Text
View/download PDF

2. The Mechanical Lung Ventilator Case Study

Author

Bonfanti, Silvia, Gargantini, Angelo, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bonfanti, Silvia, editor, Gargantini, Angelo, editor, Leuschel, Michael, editor, Riccobene, Elvinia, editor, and Scandurra, Patrizia, editor

Published
2024
Full Text
View/download PDF

3. From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code

Author

Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bonfanti, Silvia, editor, Gargantini, Angelo, editor, Leuschel, Michael, editor, Riccobene, Elvinia, editor, and Scandurra, Patrizia, editor

Published
2024
Full Text
View/download PDF

6. Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA

Author

Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, and Riccobene, Elvinia

Subjects
Computer Science - Formal Languages and Automata Theory, Computer Science - Software Engineering
Abstract

Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such processes generally rely on formal methods, which can guarantee, thanks to their mathematical foundation, model preciseness, and properties assurance. However, they are rarely adopted in practice. In this paper, we report our experience in using the Abstract State Machine formal method and the ASMETA framework in developing a prototype of the control software of the MVM (Mechanical Ventilator Milano), a mechanical lung ventilator that has been designed, successfully certified, and deployed during the COVID-19 pandemic. Due to time constraints and lack of skills, no formal method was applied for the MVM project. However, we here want to assess the feasibility of developing (part of) the ventilator by using a formal method-based approach. Our development process starts from a high-level formal specification of the system to describe the MVM main operation modes. Then, through a sequence of refined models, all the other requirements are captured, up to a level in which a C++ implementation of a prototype of the MVM controller is automatically generated from the model, and tested. Along the process, at each refinement level, different model validation and verification activities are performed, and each refined model is proved to be a correct refinement of the previous level. By means of the MVM case study, we evaluate the effectiveness and usability of our formal approach., Comment: In Proceedings AppFM 2021, arXiv:2111.07538

Published
2021
Full Text
View/download PDF

7. Engineering of Trust Analysis-Driven Digital Twins for a Medical Device

Author

Bersani, Marcello M., Braghin, Chiara, Gargantini, Angelo, Mirandola, Raffaela, Riccobene, Elvinia, Scandurra, Patrizia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Batista, Thais, editor, Bureš, Tomáš, editor, Raibulet, Claudia, editor, and Muccini, Henry, editor

Published
2023
Full Text
View/download PDF

8. formal MVC: A Pattern for the Integration of ASM Specifications in UI Development

Author

Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Glässer, Uwe, editor, Creissac Campos, Jose, editor, Méry, Dominique, editor, and Palanque, Philippe, editor

Published
2023
Full Text
View/download PDF

10. An Automated Testing Framework For Smart TV apps Based on Model Separation

Author

Ahmed, Bestoun S., Gargantini, Angelo, and Bures, Miroslav

Subjects
Computer Science - Software Engineering
Abstract

Smart TV application (app) is a new technological software app that can deal with smart TV devices to add more functionality and features. Despite its importance nowadays, far too little attention has been paid to present a systematic approach to test this kind of app so far. In this paper, we present a systematic model-based testing approach for smart TV app. We used our new notion of model separation to use sub-models based on the user preference instead of the exhaustive testing to generate the test cases. Based on the constructed model, we generated a set of test cases to assess the selected paths to the chosen destination in the app. We also defined new mutation operators for smart TV app to assess our testing approach. The evaluation results showed that our approach can generate more comprehensive models of smart TV apps with less time as compared to manual exploratory testing. The results also showed that our approach can generate effective test cases in term of fault detection., Comment: 12 pages

Published
2020

11. Code-Aware Combinatorial Interaction Testing

Author

Ahmed, Bestoun S., Gargantini, Angelo, Zamli, Kamal Z., Yilmaz, Cemal, Bures, Miroslav, and Szeles, Marek

Subjects
Computer Science - Software Engineering
Abstract

Combinatorial interaction testing (CIT) is a useful testing technique to address the interaction of input parameters in software systems. In many applications, the technique has been used as a systematic sampling technique to sample the enormous possibilities of test cases. In the last decade, most of the research activities focused on the generation of CIT test suites as it is a computationally complex problem. Although promising, less effort has been paid for the application of CIT. In general, to apply the CIT, practitioners must identify the input parameters for the Software-under-test (SUT), feed these parameters to the CIT tool to generate the test suite, and then run those tests on the application with some pass and fail criteria for verification. Using this approach, CIT is used as a black-box testing technique without knowing the effect of the internal code. Although useful, practically, not all the parameters having the same impact on the SUT. This paper introduces a different approach to use the CIT as a gray-box testing technique by considering the internal code structure of the SUT to know the impact of each input parameter and thus use this impact in the test generation stage. We applied our approach to five reliable case studies. The results showed that this approach would help to detect new faults as compared to the equal impact parameter approach., Comment: 28 pages

Published
2019

12. Repairing Timed Automata Clock Guards through Abstraction and Testing

Author

André, Étienne, Arcaini, Paolo, Gargantini, Angelo, and Radavelli, Marco

Subjects
Computer Science - Logic in Computer Science
Abstract

Timed automata (TAs) are a widely used formalism to specify systems having temporal requirements. However, exactly specifying the system may be difficult, as the user may not know the exact clock constraints triggering state transitions. In this work, we assume the user already specified a TA, and (s)he wants to validate it against an oracle that can be queried for acceptance. Under the assumption that the user only wrote wrong guard transitions (i.e., the structure of the TA is correct), the search space for the correct TA can be represented by a Parametric Timed Automaton (PTA), i.e., a TA in which some constants are parametrized. The paper presents a process that i) abstracts the initial (faulty) TA tainit in a PTA pta; ii) generates some test data (i.e., timed traces) from pta; iii) assesses the correct evaluation of the traces with the oracle; iv) uses the IMITATOR tool for synthesizing some constraints phi on the parameters of pta; v) instantiate from phi a TA tarep as final repaired model. Experiments show that the approach is successfully able to partially repair the initial design of the user., Comment: This is the author (and slightly extended) version of the manuscript of the same name published in the proceedings of the 13th International Conference on Tests and Proofs (TAP 2019). This version contains some additional explanations and all proofs

Published
2019

14. Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications

Author

Bonfanti, Silvia, Gargantini, Angelo, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Gehin, Claudine, editor, Wacogne, Bruno, editor, Douplik, Alexandre, editor, Lorenz, Ronny, editor, Bracken, Bethany, editor, Pesquita, Cátia, editor, Fred, Ana, editor, and Gamboa, Hugo, editor

Published
2022
Full Text
View/download PDF

15. Compositional Simulation of Abstract State Machines for Safety Critical Systems

Author

Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Tapia Tarifa, Silvia Lizeth, editor, and Proença, José, editor

Published
2022
Full Text
View/download PDF

16. Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller

Author

Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Clark, David, editor, Menendez, Hector, editor, and Cavalli, Ana Rosa, editor

Published
2022
Full Text
View/download PDF

18. Extending ASMETA with Time Features

Author

Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Raschke, Alexander, editor, and Méry, Dominique, editor

Published
2021
Full Text
View/download PDF

19. The ASMETA Approach to Safety Assurance of Software Systems

Author

Arcaini, Paolo, Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Raschke, Alexander, editor, Riccobene, Elvinia, editor, and Schewe, Klaus-Dieter, editor

Published
2021
Full Text
View/download PDF

20. Addressing Usability in a Formal Development Environment

Author

Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Sekerinski, Emil, editor, Moreira, Nelma, editor, Oliveira, José N., editor, Ratiu, Daniel, editor, Guidotti, Riccardo, editor, Farrell, Marie, editor, Luckcuck, Matt, editor, Marmsoler, Diego, editor, Campos, José, editor, Astarte, Troy, editor, Gonnord, Laure, editor, Cerone, Antonio, editor, Couto, Luis, editor, Dongol, Brijesh, editor, Kutrib, Martin, editor, Monteiro, Pedro, editor, and Delmas, David, editor

Published
2020
Full Text
View/download PDF

21. Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA

Author

Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Scandurra, Patrizia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Raschke, Alexander, editor, Méry, Dominique, editor, and Houdek, Frank, editor

Published
2020
Full Text
View/download PDF

26. HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications

Author

Camilli, Matteo, Gargantini, Angelo, Madaudo, Rosario, Scandurra, Patrizia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ahrendt, Wolfgang, editor, and Tapia Tarifa, Silvia Lizeth, editor

Published
2019
Full Text
View/download PDF

27. Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

Author

Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Radavelli, Marco, Duan, Feng, Lei, Yu, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gaston, Christophe, editor, Kosmatov, Nikolai, editor, and Le Gall, Pascale, editor

Published
2019
Full Text
View/download PDF

28. Regular Expression Learning with Evolutionary Testing and Repair

Author

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Gaston, Christophe, editor, Kosmatov, Nikolai, editor, and Le Gall, Pascale, editor

Published
2019
Full Text
View/download PDF

29. Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

Author

Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Mazzara, Manuel, editor, Bruel, Jean-Michel, editor, Meyer, Bertrand, editor, and Petrenko, Alexander, editor

Published
2019
Full Text
View/download PDF

30. A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection

Author

Garn, Bernhard, Radavelli, Marco, Gargantini, Angelo, Leithner, Manuel, Simos, Dimitris E., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Wotawa, Franz, editor, Friedrich, Gerhard, editor, Pill, Ingo, editor, Koitz-Hristov, Roxane, editor, and Ali, Moonis, editor

Published
2019
Full Text
View/download PDF

32. Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios

Author

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Ghosh, Ashish, Series Editor, Abdelwahed, El Hassan, editor, Bellatreche, Ladjel, editor, Benslimane, Djamal, editor, Golfarelli, Matteo, editor, Jean, Stéphane, editor, Mery, Dominique, editor, Nakamatsu, Kazumi, editor, and Ordonez, Carlos, editor

Published
2018
Full Text
View/download PDF

33. Validation of Transformation from Abstract State Machine Models to C++ Code

Author

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Medina-Bulo, Inmaculada, editor, Merayo, Mercedes G., editor, and Hierons, Robert, editor

Published
2018
Full Text
View/download PDF

34. Interactive Testing and Repairing of Regular Expressions

Author

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Medina-Bulo, Inmaculada, editor, Merayo, Mercedes G., editor, and Hierons, Robert, editor

Published
2018
Full Text
View/download PDF

35. Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving

Author

Kitamura, Takashi, Maissonneuve, Quentin, Choi, Eun-Hye, Artho, Cyrille, Gargantini, Angelo, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Gallina, Barbara, editor, Skavhaug, Amund, editor, and Bitsch, Friedemann, editor

Published
2018
Full Text
View/download PDF

36. AsmetaA: Animator for Abstract State Machines

Author

Bonfanti, Silvia, Gargantini, Angelo, Mashkoor, Atif, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Butler, Michael, editor, Raschke, Alexander, editor, Hoang, Thai Son, editor, and Reichl, Klaus, editor

Published
2018
Full Text
View/download PDF

40. Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children

Author

Gargantini, Angelo

Subjects
Computer Science - Human-Computer Interaction, Computer Science - Graphics
Abstract

The 3D4Amb project aims at developing a system based on the stereoscopic 3D techonlogy, like the NVIDIA 3D Vision, for the diagnosis and treatment of amblyopia in young children. It exploits the active shutter technology to provide binocular vision, i.e. to show different images to the amblyotic (or lazy) and the normal eye. It would allow easy diagnosis of amblyopia and its treatment by means of interactive games or other entertainment activities. It should not suffer from the compliance problems of the classical treatment, it is suitable to domestic use, and it could at least partially substitute occlusion or patching of the normal eye., Comment: Extended version of the HEALTHINF 2011 paper

Published
2011

42. Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors

Author

Bonfanti, Silvia, Gargantini, Angelo, Barbosa, Simone Diniz Junqueira, Series editor, Chen, Phoebe, Series editor, Filipe, Joaquim, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Yuan, Junsong, Series editor, Zhou, Lizhu, Series editor, Fardoun, Habib M., editor, R. Penichet, Victor M., editor, Alghazzawi, Daniyal M., editor, and De la Guia, M. Elena, editor

Published
2017
Full Text
View/download PDF

43. Towards Inverse Uncertainty Quantification in Software Development (Short Paper)

Author

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia, Bellettini, Carlo, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Cimatti, Alessandro, editor, and Sirjani, Marjan, editor

Published
2017
Full Text
View/download PDF

44. Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets

Author

Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia, Bellettini, Carlo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Barrett, Clark, editor, Davies, Misty, editor, and Kahsai, Temesghen, editor

Published
2017
Full Text
View/download PDF

45. Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino

Author

Bonfanti, Silvia, Carissoni, Marco, Gargantini, Angelo, Mashkoor, Atif, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Barrett, Clark, editor, Davies, Misty, editor, and Kahsai, Temesghen, editor

Published
2017
Full Text
View/download PDF

49. SMT-Based Automatic Proof of ASM Model Refinement

Author

Arcaini, Paolo, Gargantini, Angelo, Riccobene, Elvinia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, De Nicola, Rocco, editor, and Kühn, Eva, editor

Published
2016
Full Text
View/download PDF

50. How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study

Author

Arcaini, Paolo, Bonfanti, Silvia, Gargantini, Angelo, Riccobene, Elvinia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Schewe, Klaus-Dieter, editor, Mashkoor, Atif, editor, and Biro, Miklos, editor

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results