GD
Di Marzo Serugendo, Giovanna
Affiliation entities
Research groups
Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
---|---|---|---|---|---|---|---|
Ontology-Based Customisation Management System for Driver-Vehicle Interfaces: A Preventive Approach to Incident Reduction and Legal Accountability in Highly Automated Vehicles | Applied sciences | 2025 | 48 | 14 | |||
The Semantic Approach to Recognise the Components of the Underground Cadastre - Relevé Automatique des réseaux (RAR) Project | 2024 | 306 | 90 | ||||
Streamlining Tax and Administrative Document Management with AI-Powered Intelligent Document Management System | Information | 2024 | 101 | 72 | |||
State of Agricultural E-Government Services to Farmers in Tanzania: Toward the Participatory Design of a Farmers Digital Information System (FDIS) | Agriculture | 2024 | 47 | 41 | |||
A Farmers’ Digital Information System (FDIS) for Sustainable Agriculture Among Smallholder Farmers in Tanzania | Information | 2024 | 35 | 16 | |||
Towards Automated Regulatory Compliance Using Semantic KGs and SHACL | The Knowledge Graph Conference | 2024 | 29 | 34 | |||
A DPSIR-Driven Agent-Based Model for Residential Choices and Mobility in an Urban Setting | Sustainability | 2024 | 29 | 14 | |||
Designing a farmers digital information system for sustainable agriculture: The perspective of Tanzanian agricultural stakeholders | The Electronic journal on information systems in developing countries | 2024 | 31 | 22 | |||
A semi-automated software model to support AI ethics compliance assessment of an AI system guided by ethical principles of AI | AI and ethics | 2024 | 28 | 12 | |||
Autonomous Generation of a Public Transportation Network by an Agent-Based Model: Mutual Enrichment with Knowledge Graphs for Sustainable Urban Mobility | Sustainability | 2024 | 7 | 10 | |||
Coordination model and digital twins for managing energy consumption and production in a smart grid | Digital Science Day 2023 | 2023 | 67 | 29 | |||
Rapport d'activité Cellule R&D | 2023 | 195 | 4 | ||||
Coordination Model and Digital Twins for Managing Energy Consumption and Production in a Smart Grid | Energies | 2023 | 65 | 38 | |||
RecOnCiling Companies and AI Regulations InitiAtives (ROCCIA) | 2023 | 470 | 67 | ||||
Presentation of the scientific article: Enriching RDF-based Document Management System with Semantic-based Reasoning | Larkspur Landing South San Francisco Hotel, USA and KSIR Virtual Conference Center, USA, 29 June 2023 | 2023 | 63 | 14 | |||
Explainable e-Coaches Via Rules Extraction and Symbolic Knowledge Sharing | Digital Science Day. | 2023 | 52 | 13 | |||
A Framework for Regulatory Compliance using Knowledge Graphs | Digital Sciences Day | 2023 | 80 | 3 | |||
Data management system for sustainable agriculture among smallholder farmers in Tanzania: research-in-progress | Information technology for development | 2023 | 72 | 33 | |||
Enriching RDF-based Document Management System with Semantic-based Reasoning | The 29th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2023 | 2023 | 24 | 14 | |||
Enriching RDF-based Document Management System with Semantic-based Reasoning | DMSVIVA 2023. Proceedings of the 29th International DMS Conference on Visualization and Visual Languages | 2023 | 192 | 38 | |||
TRACES poster: Agent-based model for prescriptive analysis of the link between land cover change and public transport development | Digital Sciences Day 2023 | 2023 | 60 | 20 | |||
Cultura, contextual chatbot | UNIGE Data Science Day 2022 | 2022 | 113 | 2 | |||
Lasagne –implementation of smartgrid in the form of a coordination system of digital twins | UNIGE Data Science Day 2022 | 2022 | 118 | 4 | |||
Digital Technology and Services for Sustainable Agriculture in Tanzania: A Literature Review | Sustainability | 2022 | 207 | 288 | |||
A complex-systems paradigm for modeling and solving finite large-scale discrete resources allocation problems – Part 1: a mathematical formalization of resources allocations problems | 2022 | 628 | 106 | ||||
TRACES - Agent-based model for prescriptive analysis of the link between land cover change and public transport development | UNIGE Data Science Day 2022 | 2022 | 96 | 2 | |||
Addmin: Private computing for consumers’ online documents access: Scientific Technical Report | 2022 | 421 | 193 | ||||
Rapport de recherche MILBOT: Livrable 3 | 2022 | 282 | 63 | ||||
Plateforme de coordination et collaboration pour échanger l'énergie, réguler et prédire la production/consommation dans le cadre d'un réseau électrique intelligent | 2021 | 844 | 219 | ||||
A semantic-based AI reasoning tool to analyse the link between cybersecurity and safety for Internet of Vehicle (IoV) and Autonomous Vehicles (AVs) | CARS 2021 Workshop | 2021 | 959 | 222 | |||
Developing an agent-based model for canopy growth simulation and tree-related cooling effect estimation over the canton of Geneva | 2021 | 208 | 110 | ||||
A semantic-based approach to analyze the link between security and safety for Internet of Vehicle (IoV) and Autonomous Vehicles (AVs) | CARS 2021 6th International Workshop on Critical Automotive Applications: Robustness & Safety | 2021 | 317 | 297 | |||
CERTIFY : Leveraging fact-checkers and crowdsourcing to provide informed opinions on unreliable or misleading information | 2020 | 734 | 158 | ||||
First-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm robotics | Artificial Life and Robotics | 2020 | 255 | 88 | |||
Engineering semantic self-composition of services through tuple-based coordination | Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles | 2020 | 201 | 3 | |||
Second-order agent-based models of emergent behaviour of Dictyostelium discoideum and their inspiration for swarm robotics | Artificial Life and Robotics | 2020 | 244 | 60 | |||
Agent-based models for first- and second-order emergent collective behaviours of social amoeba Dictyostelium discoideum aggregation and migration phases | Artificial Life and Robotics | 2018 | 249 | 0 | |||
Paraconsistent Rule-based Reasoning with Graded Truth Values | Journal of Applied Logic | 2018 | 251 | 0 | |||
Cooperative Multiagent System for Parking Availability Prediction Based on Time Varying Dynamic Markov Chains | Journal of Advanced Transportation | 2017 | 528 | 238 | |||
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase | Swarm 2017 | 2017 | 375 | 88 | |||
SmartContent—Self-Protected Context-Aware Active Documents for Mobile Environments | Electronics | 2017 | 223 | 74 | |||
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase | SWARM 2017: The 2nd International Symposium on Swarm Behavior and Bio-Inspired Robotics | 2017 | 393 | 109 | |||
An Agent-Based Model for Collective Behaviors of Social Amoeba Dictyostelium discoideum Morphogenesis: Aggregation Phase | Dicty 2017 | 2017 | 386 | 43 | |||
Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values | 2017 | 434 | 90 | ||||
Spatial awareness in pervasive ecosystems | Knowledge Engineering Review | 2016 | 503 | 326 | |||
Logic fragments: coordinating entities with logic programs | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | 2016 | 519 | 1 | |||
Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues | Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques | 2016 | 544 | 402 | |||
Visualisation de la dynamique et des enjeux toponymiques: Prototype pour la ville suisse de Carouge | Concours de Géomatique, Festival international de Géographie, | 2016 | 529 | 86 | |||
Towards a logic and chemical based coordination model | 2015 | 845 | 190 | ||||
First Year Ph.D Report: Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics | 2015 | 532 | 163 | ||||
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics | SASO 2015 | 2015 | 427 | 227 | |||
A logic language for run time assessment of spatial properties in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops | 2015 | 600 | 345 | |||
Towards a spatial language for run-time assessments in self-organizing systems | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems | 2015 | 511 | 299 | |||
Tuple MapReduce and Pangool: An Associated Implementation | Knowledge and Information Systems Journal | 2014 | 659 | 0 | |||
Injecting self-organisation into pervasive service ecosystems | Journal on special topics in mobile networks and applications | 2013 | 815 | 876 | |||
Self-healing and self-repairing technologies | International journal, advanced manufacturing technology | 2013 | 862 | 1,089 | |||
Models and Concepts for Socio-Technical Complex Systems: Towards Fractal Social Organisations | Systems Research and Behavioural Science | 2013 | 553 | 2 | |||
Self-composition of services with chemical reactions | 2013 | 878 | 487 | ||||
Description and composition of bio-inspired design patterns: a complete overview | Natural Computing | 2013 | 457 | 680 | |||
Social Amoeba Dictyostelium Discoideum As an Inspiration for Swarm Robotics | Ninth IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2015) | 2013 | 523 | 287 | |||
A decentralized approach for detecting dynamically changing diffuse event sources in noisy WSN environments | Applied artificial intelligence | 2012 | 769 | 412 | |||
The future of complexity engineering | Central European Journal of Engineering | 2012 | 703 | 720 | |||
Self-organising Pervasive Ecosystems: A Crowd Evacuation Example | Software Engineering for Resilient Systems | 2011 | 660 | 514 | |||
Self-aware Pervasive Service Ecosystems | Procedia Computer Science | 2011 | 720 | 302 | |||
Modeling Self-* Systems Using Chemically-Inspired Composable Patterns | 2011 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO) | 2011 | 667 | 392 | |||
Self-Organizing Software: From Natural to Artificial Adaptation | 2011 | 662 | 0 | ||||
Experience Report in Developing and Applying a Method for Self-Organisation to Agile Manufacturing | Proceedings of the 4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2010 | 2010 | 687 | 351 | |||
Hovering Information: A Self-Organising Infrastructure-Free Information Storage and Retrieval Service | Proceedings of the 4th International Workshop on Enterprise Systems and Technology - I-WEST 2010 | 2010 | 713 | 180 | |||
User Defined Geo-referenced Information | Software and Data Technologies: 3rd International Conference - ICSOFT 2008 | 2009 | 514 | 2 | |||
Software Engineering for Self-Adaptive Systems: A Research Roadmap | Software Engineering for Self-Adaptive Systems | 2009 | 512 | 1 | |||
Hovering Information - Self-Organising Information that Finds its Own Storage | Autonomic Communication | 2009 | 644 | 0 | |||
Methodologies for Self-Organising Systems: A SPEM Approach | 2009 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technologies - WI-IAT'09 Workshops (Vol. 2) | 2009 | 720 | 390 | |||
Hovering Information : Infrastructure-Free Self-Organising Location-Aware Information Dissemination Service | Proceedings of the Second ERCIM Workshop on eMobility | 2008 | 562 | 67 | |||
Activity-based computing | IEEE pervasive computing | 2008 | 510 | 1 | |||
MetaSelf - A Framework for Designing and Controlling Self-Adaptive and Self-Organising Systems | 2008 | 655 | 139 | ||||
Designing Self-Organization for Evolvable Assembly Systems | 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO '08 | 2008 | 710 | 584 | |||
Dependability Requirements for Hovering Information | Supplementary Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN'07 | 2007 | 522 | 72 | |||
Dependability Requirements for Hovering Information | Mobile trust | 2007 | 112 | 28 | |||
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems | 2006 | 673 | 66 | ||||
Self-organization in multi-agent systems | Knowledge Engineering Review | 2005 | 1,456 | 777 | |||
A Social Semantic Infrastructure for Decentralised Systems Based on Specification-Carrying Code and Trust | Proceedings of the Joint Symposium on Socially Inspired Computing: Social Intelligence and Interaction in Animals, Robots and Agents - AISB'05 | 2005 | 621 | 236 | |||
Specification-Carrying Code for Self-Managed Systems | Proceedings of the IFIP/IEEE International Workshop on Self-Managed Systems & Services - SelfMan 2005 | 2005 | 648 | 76 | |||
Self-Organisation: Paradigms and Applications | Engineering Self-Organising Systems: Nature-Inspired Approaches to Software Engineering | 2004 | 496 | 2 | |||
Trust as an Interaction Mechanism for Self-Organising Engineered Systems | Proceedings of the 5th International Conference on Complex Systems - ICCS2004 | 2004 | 559 | 69 | |||
"Using Exception Handling for Fault-Tolerance in Mobile Coordination-Based Environments", Exception Handling in Object Oriented Systems: towards Emerging Application Areas and New Programming Paradigms | Object-Oriented Technology - ECOOP 2003 Workshop Reader. Final Reports | 2004 | 609 | 247 | |||
Enhancing Java Grid Computing Security with Resource Control | Proceedings of the 1st International Conference: Grid Services Engineering and Management - GSEM 2004 | 2004 | 516 | 0 | |||
Semantic Service Oriented Architecture | 2004 | 656 | 509 | ||||
Self-Organizing Architecture for Intrusion Detection and Response Systems | Proceedings of the 10th HP OpenView University Association Plenary Workshop - HPOVUA 2003 | 2003 | 557 | 68 | |||
Designing Fault-Tolerant Mobile Systems | International Workshop: Scientific Engineering for Distributed Java Applications - FIDJI 2002 | 2003 | 528 | 0 | |||
Engineering Emergent Behaviour: A Vision | 4th International Workshop: Multi-Agent-Based Simulation III - MABS 2003 | 2003 | 510 | 0 | |||
Towards a Secure and Efficient Model for Grid Computing using Mobile Code | 8th ECOOP Workshop on Mobile Object Systems: Agent Applications and New Frontiers - MOS 2002 in Object-Oriented Technology ECOOP 2002 Workshop Reader | 2002 | 648 | 185 | |||
Real-Time Synchronised Petri Nets | Proceedings of the 23rd International Conference: Application and Theory of Petri Nets - ICATPN 2002 | 2002 | 717 | 458 | |||
A Formal Development and Validation Methodology Applied to Agent-Based Systems | International Workshop on Infrastructure for Scalable Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems | 2001 | 634 | 272 | |||
Adding Real-Time Constraints to Synchronised Petri Nets | 2000 | 623 | 996 | ||||
Specification and simulation of ALICE DAQ system | Proceedings of the 6th Workshop on Electronics for LHC Experiments | 2000 | 639 | 287 | |||
Formal development and validation of Java dependable distributed systems | Proceedings of the 5th IEEE International Conference on Engineering of Complex Computer Systems - ICECCS'99 | 1999 | 671 | 283 | |||
A Formal Developement and Validation Methodology for System Design | Proceedings of the 5th International Conference on Information Systems Analysis and Synthesis - ISAS 1999 | 1999 | 628 | 1,203 | |||
Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs. Swiss Federal Institute of Technology, EPFL, Lausanne | 1999 | 743 | 201 | ||||
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study | Proceedings of the 1998 International Conference on Application of Concurrency to System Design | 1998 | 678 | 291 | |||
A survey of theories for mobile agents | World wide web | 1998 | 651 | 279 | |||
CO-OPN/2 Specification of the DSGamma System Designed Using Co-ordinated Atomic Actions | 1998 | 677 | 86 | ||||
Formal Development and Validation of the DSGamma System Based on CO-OPN/2 and Coordinated Atomic Actions | 1998 | 511 | 138 | ||||
COALA - A Formal Language for Coordinated Atomic Actions | Design for Validation (DeVa) - Third Year Report, Esprit LTR Project 20072 - Deliverables: Part 2 (Papers) | 1998 | 650 | 96 | |||
Formal development of Java based Web parallel applications | Proceedings of the 31st Hawaii International Conference on System Sciences - HICCS'98 | 1998 | 638 | 299 | |||
Communication Messengers as a Basis for Distributed Algorithms | Proceedings of the 2nd European Research Seminars in Advanced Distributed Systems - ERSADS'97 | 1997 | 597 | 89 | |||
Access Consistency Memory Model for Messengers | 1996 | 678 | 69 | ||||
Distributed Services in a Messenger Environment | 1996 | 558 | 105 | ||||
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory | 1996 | 658 | 93 | ||||
A Distributed Micro–Kernel for Communications Messengers | 1995 | 624 | 75 | ||||
The Messenger paradigm and its implications on distributed systems | Proceedings of ICC'95 workshop on Intelligent Computer Communication | 1995 | 927 | 136 | |||
SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools | 1995 | 715 | 80 | ||||
Distributed Semaphore In A Messenger Environment | Proceedings of the First International Workshop: Decentralized Multi-Agent Systems DIMAS'95 | 1995 | 718 | 232 | |||
Mathematical Formalization of the Messenger Paradigm | 1995 | 702 | 74 | ||||
COMSCRIPT: An Environment for the Implementation of Protocol Stacks and their Dynamic Reconfiguration | Proceedings of the 2nd International Symposium on Applied Corporate Computing - ISACC'94 | 1994 | 627 | 125 | |||
ACCESS - Algebraic Concurrent Events for System Specification | 1994 | 679 | 89 | ||||
Messenger-Based Operating Systems | 1994 | 631 | 118 |