Sfoglia per Autore
Development planning based on interoperable agent driven simulation
2014-01-01 Massei, M; Poggi, S; Agresta, Matteo; Ferrando, Angelo
Computational thinking for beginners: {A} successful experience using Prolog
2015-01-01 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Parametric protocol-driven agents and their integration in {JADE}
2015-01-01 Ferrando, Angelo
Global protocols as first class entities for self-adaptive agents
2015-01-01 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
2015-01-01 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Computational thinking for beginners: A successful experience using Prolog
2015-01-01 Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification
2016-01-01 Ferrando, Angelo
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study
2016-01-01 Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana
Identification of disease symptoms in multilingual sentences: An ontology-driven approach
2016-01-01 Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols
2016-01-01 Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana
Simulation of autonomous systems in the extended marine domain
2016-01-01 Tremori, Alberto; Agresta, Matteo; Ferrando, Angelo
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain
2016-01-01 Aielli, Federica; Ancona, Davide; Caianiello, Pasquale; Costantini, Stefania; De Gasperis, Giovanni; Di Marco, Antinisca; Ferrando, Angelo; Mascardi, Viviana
Comparing trace expressions and linear temporal logic for runtime verification
2016-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Parametric Runtime Verification of Multiagent Systems
2017-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Parametric trace expressions for runtime verification of Java-like programs
2017-01-01 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Hackmytown: An educational experience on smart cities
2017-01-01 Del Fatto, Vincenzo; Dodero, Gabriella; Bernhard, Armin; Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana; Laurini, Robert; Roccasalva, Giuseppe
Decentralizing MAS Monitoring with DecAMon
2017-01-01 Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems
2018-01-01 Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana
Recognising assumption violations in autonomous systems verification
2018-01-01 Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V.
Agents interoperability via conformance modulo mapping
2018-01-01 Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Development planning based on interoperable agent driven simulation | 1-gen-2014 | Massei, M; Poggi, S; Agresta, Matteo; Ferrando, Angelo | |
Computational thinking for beginners: {A} successful experience using Prolog | 1-gen-2015 | Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando | |
Parametric protocol-driven agents and their integration in {JADE} | 1-gen-2015 | Ferrando, Angelo | |
Global protocols as first class entities for self-adaptive agents | 1-gen-2015 | Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana | |
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach | 1-gen-2015 | Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana | |
Computational thinking for beginners: A successful experience using Prolog | 1-gen-2015 | Beux, Silvio; Briola, Daniela; Corradi, Andrea; Delzanno, Giorgio; Ferrando, Angelo; Frassetto, Federico; Guerrini, Giovanna; Mascardi, Viviana; Oreggia, Marco; Pozzi, Francesca; Solimando, Alessandro; Tacchella, Armando | |
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification | 1-gen-2016 | Ferrando, Angelo | |
Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: A case study | 1-gen-2016 | Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana | |
Identification of disease symptoms in multilingual sentences: An ontology-driven approach | 1-gen-2016 | Ferrando, Angelo; Beux, Silvio; Mascardi, Viviana; Rosso, Paolo | |
MAS-DRiVe: A practical approach to decentralized runtime verification of agent interaction protocols | 1-gen-2016 | Ancona, Davide; Briola, Daniela; Ferrando, Angelo; Mascardi, Viviana | |
Simulation of autonomous systems in the extended marine domain | 1-gen-2016 | Tremori, Alberto; Agresta, Matteo; Ferrando, Angelo | |
FRIENDLY & KIND with your health: Human-friendly knowledge-INtensive dynamic systems for the e-health domain | 1-gen-2016 | Aielli, Federica; Ancona, Davide; Caianiello, Pasquale; Costantini, Stefania; De Gasperis, Giovanni; Di Marco, Antinisca; Ferrando, Angelo; Mascardi, Viviana | |
Comparing trace expressions and linear temporal logic for runtime verification | 1-gen-2016 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
Parametric Runtime Verification of Multiagent Systems | 1-gen-2017 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana | |
Parametric trace expressions for runtime verification of Java-like programs | 1-gen-2017 | Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana | |
Hackmytown: An educational experience on smart cities | 1-gen-2017 | Del Fatto, Vincenzo; Dodero, Gabriella; Bernhard, Armin; Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana; Laurini, Robert; Roccasalva, Giuseppe | |
Decentralizing MAS Monitoring with DecAMon | 1-gen-2017 | Ferrando, Angelo; Ancona, Davide; Mascardi, Viviana | |
Coping with bad agent interaction protocols when monitoring partially observable multiagent systems | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Franceschini, Luca; Mascardi, Viviana | |
Recognising assumption violations in autonomous systems verification | 1-gen-2018 | Ferrando, A.; Dennis, L. A.; Ancona, D.; Fisher, M.; Mascardi, V. | |
Agents interoperability via conformance modulo mapping | 1-gen-2018 | Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana |
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