SLEECinFRET: A Tool to Manage Social, Legal, Ethical, Empathetic, and Cultural Requirements
2026-01-01 Mirani, Mahrokh; Raimondi, Franco; Troquard, Nicolas
Don’t Retest Everything: Auditable Regression Scoping for Safety-Critical Systems
2026-01-01 Basciani, Francesco; Masti, Daniele; Pelliccione, Patrizio; Petrucci, Alberto; Raimondi, Franco; Sales, Emerson; Serri, Paolo
Autonomous Mobile Robots with Business Process Management Systems at the Edge
2026-01-01 Seiger, Ronny; Pettinari, Sara; Malburg, Lukas
Adaptive mesh refinement for global stability analysis of transitional flows
2023-01-01 Massaro, Daniele; Lupi, Valerio; Peplinski, Adam; Schlatter, Philipp
Direct numerical simulations of turbulent flow in helical pipes
2024-01-01 Lupi, Valerio; Örlü, Ramis; Schlatter, Philipp
Specification and Analysis of Ethical Requirements in Autonomous Systems Using Abstract State Machines
2026-01-01 Scandurra, Patrizia; De Sanctis, Martina; Filippone, Gianluca; Inverardi, Paola; Mirandola, Raffaela; Pettinari, Sara
Lossless linear analog compression
2016-01-01 Alberti, G.; Bolcskei, H.; De Lellis, C.; Koliander, G.; Riegler, E.
DTMN a Modelling Notation for Digital Twins
2023-01-01 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes
2024-01-01 Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Torres, Victoria; Valderas, Pedro
Towards a Digital Twin Modelling Notation
2022-01-01 Corradini, F.; Fedeli, A.; Polini, A.; Re, B.
Comparison of general-purpose and domain-specific modeling languages in the IoT domain: A case study from the OMiLAB community
2023-01-01 Fedeli, A.; Beutling, N.; Laurenzi, E.; Polini, A.
X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development
2022-01-01 Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B.
Integer Programming Models for the Median of a 0-1 String Set Under Levenshtein Distance
2026-01-01 Arbib, Claudio; D'Ascenzo, Andrea; Karaşan, Oya E.; Pizzuti, Andrea
K-Hole Separation in PEO‑Based ILP Treewidth Formulation
2026-01-01 D'Ascenzo, Andrea
Beer Path Problems in Temporal Graphs
2026-01-01 D’Ascenzo, Andrea; Italiano, Giuseppe F.; Kanellopoulos, Sotiris; Mpanti, Anna; Pagourtzis, Aris; Pergaminelis, Christos
Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic
2026-01-01 Silvetti, Simone; Compagnucci, Ivan; Cairoli, Francesca; Trubiani, Catia; Nenzi, Laura
Behavioural Types for Local-First Software
2023-01-01 Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio
Automatic Code and Test Generation of Smart Contracts from Coordination Models
2026-01-01 Konjoh, E.; Murgia, M.; Ravara, A.; Tuosto, E.
Compositional Design, Implementation, and Verification of Swarms
2026-01-01 Furbach, Florian; Clorius, Lucas; Kuhn, Roland; Melgratti, Hernán; Scalas, Alceste; Tuosto, Emilio
Compositional Design, Implementation, and Verification of Swarms
2026-01-01 Furbach, F.; Clorius, L.; Kuhn, R.; Melgratti, H.; Scalas, A.; Tuosto, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| SLEECinFRET: A Tool to Manage Social, Legal, Ethical, Empathetic, and Cultural Requirements | 1-gen-2026 | Mirani, Mahrokh; Raimondi, Franco; Troquard, Nicolas | |
| Don’t Retest Everything: Auditable Regression Scoping for Safety-Critical Systems | 1-gen-2026 | Basciani, Francesco; Masti, Daniele; Pelliccione, Patrizio; Petrucci, Alberto; Raimondi, Franco; Sales, Emerson; Serri, Paolo | |
| Autonomous Mobile Robots with Business Process Management Systems at the Edge | 1-gen-2026 | Seiger, Ronny; Pettinari, Sara; Malburg, Lukas | |
| Adaptive mesh refinement for global stability analysis of transitional flows | 1-gen-2023 | Massaro, Daniele; Lupi, Valerio; Peplinski, Adam; Schlatter, Philipp | |
| Direct numerical simulations of turbulent flow in helical pipes | 1-gen-2024 | Lupi, Valerio; Örlü, Ramis; Schlatter, Philipp | |
| Specification and Analysis of Ethical Requirements in Autonomous Systems Using Abstract State Machines | 1-gen-2026 | Scandurra, Patrizia; De Sanctis, Martina; Filippone, Gianluca; Inverardi, Paola; Mirandola, Raffaela; Pettinari, Sara | |
| Lossless linear analog compression | 1-gen-2016 | Alberti, G.; Bolcskei, H.; De Lellis, C.; Koliander, G.; Riegler, E. | |
| DTMN a Modelling Notation for Digital Twins | 1-gen-2023 | Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara | |
| FloBP: a model-driven approach for developing and executing IoT-enhanced business processes | 1-gen-2024 | Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara; Torres, Victoria; Valderas, Pedro | |
| Towards a Digital Twin Modelling Notation | 1-gen-2022 | Corradini, F.; Fedeli, A.; Polini, A.; Re, B. | |
| Comparison of general-purpose and domain-specific modeling languages in the IoT domain: A case study from the OMiLAB community | 1-gen-2023 | Fedeli, A.; Beutling, N.; Laurenzi, E.; Polini, A. | |
| X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development | 1-gen-2022 | Corradini, F.; Fedeli, A.; Fornari, F.; Polini, A.; Re, B. | |
| Integer Programming Models for the Median of a 0-1 String Set Under Levenshtein Distance | 1-gen-2026 | Arbib, Claudio; D'Ascenzo, Andrea; Karaşan, Oya E.; Pizzuti, Andrea | |
| K-Hole Separation in PEO‑Based ILP Treewidth Formulation | 1-gen-2026 | D'Ascenzo, Andrea | |
| Beer Path Problems in Temporal Graphs | 1-gen-2026 | D’Ascenzo, Andrea; Italiano, Giuseppe F.; Kanellopoulos, Sotiris; Mpanti, Anna; Pagourtzis, Aris; Pergaminelis, Christos | |
| Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic | 1-gen-2026 | Silvetti, Simone; Compagnucci, Ivan; Cairoli, Francesca; Trubiani, Catia; Nenzi, Laura | |
| Behavioural Types for Local-First Software | 1-gen-2023 | Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio | |
| Automatic Code and Test Generation of Smart Contracts from Coordination Models | 1-gen-2026 | Konjoh, E.; Murgia, M.; Ravara, A.; Tuosto, E. | |
| Compositional Design, Implementation, and Verification of Swarms | 1-gen-2026 | Furbach, Florian; Clorius, Lucas; Kuhn, Roland; Melgratti, Hernán; Scalas, Alceste; Tuosto, Emilio | |
| Compositional Design, Implementation, and Verification of Swarms | 1-gen-2026 | Furbach, F.; Clorius, L.; Kuhn, R.; Melgratti, H.; Scalas, A.; Tuosto, E. |
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 ...1401
Data di pubblicazione
- 2020 - 2026503
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- 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 SCIENCE44
- 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 PROCEEDINGS6
- 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
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1193
- open101
- reserved97
- partially open10