vIRONy: A tool for analysis and verification of ECA rules in intelligent environments
2017-01-01 Vannucchi, C.; Diamanti, M.; Mazzante, G.; Cacciagrano, D. R.; Corradini, F.; Culmone, R.; Gorogiannis, N.; Mostarda, L.; Raimondi, F.
Teaching functional patterns through robotic applications
2016-01-01 Boender, J.; Currie, E.; Loomes, M.; Primiero, G.; Raimondi, F.
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems
2013-01-01 Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M.
Is Really IoT Technology Gender Neutral?
2020-01-01 Cassioli, Dajana; Di Marco, Antinisca; Di Mascio, Tania; Tarantino, Laura; Inverardi, Paola
Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
2014-01-01 Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Inverardi, Paola
A Model-Based Synthesis Process for Choreography Realizability Enforcement
2013-01-01 Autili, Marco; Davide Di Ruscio, ; DI SALLE, Amleto; Inverardi, P; Tivoli, Massimo
Software performance model-driven architecture
2006-01-01 Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola
Technical architectures for automotive systems
2020-01-01 Bucaioni, A.; Pelliccione, P.
Robotics software engineering: A perspective from the service robotics domain
2020-01-01 García, Sergio; Strüber, Daniel; Brugali, Davide; Berger, Thorsten; Pelliccione, Patrizio
Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes
2022-01-01 Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio; Daniel Oyetoyan, Tosin; Michael Kristensen, Lars
Self-adaptive Testing in the Field: Are We There Yet?
2022-01-01 Silva, Samira; Bertolino, Antonia; Pelliccione, Patrizio
Mastering Reference Architectures with Modeling Assistants
2023-01-01 Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo
jjodel – A Reflective Cloud-Based Modeling Framework
2023-01-01 Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Di Vincenzo, Damiano; Pierantonio, Alfonso; Tinella, Giordano
User-centric android flexible permissions
2017-01-01 Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
Synthesis of Resource-Aware Controllers Against Rational Agents
2023-01-01 Condurache, Rodica; Dima, Catalin; Oualhadj, Youssouf; Troquard, Nicolas
Making Axiom Weakening Work in SROIQ
2023-01-01 Bernard, Roland; Kutz, Oliver; Troquard, Nicolas
A Semantic Approach to Decidability in Epistemic Planning
2023-01-01 Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas
Non-Normal Modal Description Logics
2023-01-01 Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas
An Ontological Modelling of Prototype Theories
2023-01-01 Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| vIRONy: A tool for analysis and verification of ECA rules in intelligent environments | 1-gen-2017 | Vannucchi, C.; Diamanti, M.; Mazzante, G.; Cacciagrano, D. R.; Corradini, F.; Culmone, R.; Gorogiannis, N.; Mostarda, L.; Raimondi, F. | |
| Teaching functional patterns through robotic applications | 1-gen-2016 | Boender, J.; Currie, E.; Loomes, M.; Primiero, G.; Raimondi, F. | |
| Aviation safety: Modeling and analyzing complex interactions between humans and automated systems | 1-gen-2013 | Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M. | |
| Is Really IoT Technology Gender Neutral? | 1-gen-2020 | Cassioli, Dajana; Di Marco, Antinisca; Di Mascio, Tania; Tarantino, Laura; Inverardi, Paola | |
| Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams | 1-gen-2014 | Autili, Marco; DI RUSCIO, Davide; DI SALLE, Amleto; Inverardi, Paola | |
| A Model-Based Synthesis Process for Choreography Realizability Enforcement | 1-gen-2013 | Autili, Marco; Davide Di Ruscio, ; DI SALLE, Amleto; Inverardi, P; Tivoli, Massimo | |
| Software performance model-driven architecture | 1-gen-2006 | Cortellessa, Vittorio; DI MARCO, Antinisca; Inverardi, Paola | |
| Technical architectures for automotive systems | 1-gen-2020 | Bucaioni, A.; Pelliccione, P. | |
| Robotics software engineering: A perspective from the service robotics domain | 1-gen-2020 | García, Sergio; Strüber, Daniel; Brugali, Davide; Berger, Thorsten; Pelliccione, Patrizio | |
| Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes | 1-gen-2022 | Lima, Keila; Nguyen, Ngoc-Thanh; Heldal, Rogardt; Knauss, Eric; Pelliccione, Patrizio; Daniel Oyetoyan, Tosin; Michael Kristensen, Lars | |
| Self-adaptive Testing in the Field: Are We There Yet? | 1-gen-2022 | Silva, Samira; Bertolino, Antonia; Pelliccione, Patrizio | |
| Mastering Reference Architectures with Modeling Assistants | 1-gen-2023 | Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo | |
| jjodel – A Reflective Cloud-Based Modeling Framework | 1-gen-2023 | Di Rocco, Juri; Di Ruscio, Davide; Di Salle, Amleto; Di Vincenzo, Damiano; Pierantonio, Alfonso; Tinella, Giordano | |
| User-centric android flexible permissions | 1-gen-2017 | Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| Synthesis of Resource-Aware Controllers Against Rational Agents | 1-gen-2023 | Condurache, Rodica; Dima, Catalin; Oualhadj, Youssouf; Troquard, Nicolas | |
| Making Axiom Weakening Work in SROIQ | 1-gen-2023 | Bernard, Roland; Kutz, Oliver; Troquard, Nicolas | |
| A Semantic Approach to Decidability in Epistemic Planning | 1-gen-2023 | Burigana, Alessandro; Felli, Paolo; Montali, Marco; Troquard, Nicolas | |
| Non-Normal Modal Description Logics | 1-gen-2023 | Dalmonte, Tiziano; Mazzullo, Andrea; Ozaki, Ana; Troquard, Nicolas | |
| An Ontological Modelling of Prototype Theories | 1-gen-2023 | Porello, Daniele; Righetti, Guendalina; Troquard, Nicolas; Confalonieri, Roberto; Kutz, Oliver |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1389
Data di pubblicazione
- 2020 - 2026492
- 2010 - 2019632
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE37
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE42
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS5
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng791
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1182
- open101
- reserved96
- partially open10