Distributed Synthesis: from Single to Multiple Agents

Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning

Autoren: Claudia Cauli, Meng Li, Nir Piterman, Oksana Tkachuk
Veröffentlicht in: CAV 2021: International Conference on Computer Aided Verification, 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-81685-8_36

Generic Model Checking for Modal Fixpoint Logics in COOL-MC

Autoren: Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Veröffentlicht in: VMCAI 2024: International Conference on Verification, Model Checking, and Abstract Interpretation, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-50524-9_8

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants

Autoren: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Veröffentlicht in: CMSB 2023: Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-42697-1_4

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis

Autoren: Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Veröffentlicht in: FOSSACS 2024: 27th International Conference on Foundations of Software Science and Computation Structures, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-57228-9_4

Runtime Verification Meets Controller Synthesis

Autoren: Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Veröffentlicht in: ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-19849-6_22

Actions over Core-Closed Knowledge Bases

Autoren: Claudia Cauli, Magdalena Ortiz, Nir Piterman
Veröffentlicht in: IJCAR 2022: International Joint Conference on Automated Reasoning, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-10769-6_17

On the Specification and Monitoring of Timed Normative Systems

Autoren: Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider
Veröffentlicht in: RV 2021: International Conference on Runtime Verification, 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-88494-9_5

Reconfigurable Interaction for MAS Modelling

Autoren: Yehia Abd Alrahman,Giuseppe Perelli, Nir Piterman
Veröffentlicht in: AAMAS '20: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent, 2020
Herausgeber: ACM
DOI: 10.5555/3398761.3398768

Enforcing Equilibria in Multi-Agent Systems

Autoren: Giuseppe Perelli
Veröffentlicht in: AAMAS '19: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Herausgeber: ACM
DOI: 10.5555/3306127.3331692

ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae

Autoren: Shaun Azzopardi, David Lidell, Nir Piterman, Gerardo Schneider
Veröffentlicht in: ATVA 2023: International Symposium on Automated Technology for Verification and Analysis, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-45332-8_15

Fair Omega-regular Games

Autoren: Daniel Hausmann, Nir Piterman, Irmaq Saglam, Anne-Kathrin Schmuck
Veröffentlicht in: FOSSACS 2024: 27th International Conference on Foundations of Software Science and Computation Structures, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-57228-9_2

Nominal Büchi Automata with Name Allocation

Autoren: Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Veröffentlicht in: CONCUR 2021: 32nd International Conference on Concurrency Theory, 2021
Herausgeber: LIPIcs
DOI: 10.4230/lipics.concur.2021.4

Runtime Verification of Kotlin Coroutines

Autoren: Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
Veröffentlicht in: RV 2022: International Conference on Runtime Verification, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-17196-3_12

On Computational Tractability for Rational Verification

Autoren: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 329-335, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/47

Equilibrium design for concurrent games

Autoren: Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
Veröffentlicht in: Leibniz International Proceedings in Informatics (LIPIcs), Ausgabe 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.22

Model Checking Reconfigurable Interacting Systems

Autoren: Yehia Abd Alrahman, Shaun Azzopardi, Nir Piterman
Veröffentlicht in: ISOLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-19759-8_23

Incorporating Monitors in Reactive Synthesis Without Paying the Price

Autoren: Shaun Azzopardi, Nir Piterman, Gerardo Schneider
Veröffentlicht in: ATVA 2021: International Symposium on Automated Technology for Verification and Analysis, 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-88885-5_22

A Linear-Time Nominal μ-Calculus with Name Allocation

Autoren: Daniel Hausmann, Stefan Milius, Lutz Schröder
Veröffentlicht in: MFCS 2021: 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Herausgeber: LIPIcs
DOI: 10.4230/lipics.mfcs.2021.58

Synchronous Agents, Verification, and Blame - A Deontic View

Autoren: Karam Kharraz, Shaun Azzopardi, Gerardo Schneider, Martin Leucker
Veröffentlicht in: ICTAC 2023: Theoretical Aspects of Computing, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-47963-2_20

R-CHECK: A Model Checker for Verifying Reconfigurable MAS

Autoren: Yehia Abd Alrahman; Shaun Azzopardi; Nir Piterman
Veröffentlicht in: AAMAS 2022: 20th International Conference on Autonomous Agents and Multiagent Systems, 2022
Herausgeber: ACM
DOI: 10.5555/3535850.3536020

Faster Game Solving by Fixpoint Acceleration

Autoren: Daniel Hausmann
Veröffentlicht in: FICS 2024:12th International Workshop on Fixed Points in Computer Science, 2024
Herausgeber: Cornell University

Combinations of qualitative winning for stochastic parity games

Autoren: Krishnendu Chatterjee, Nir Piterman
Veröffentlicht in: Leibniz International Proceedings in Informatics, Ausgabe 30th International Conference on Concurrency Theory (CONCUR 2019), 2019
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.concur.2019.6

Compositional Verification of Stigmergic Collective Systems

Autoren: Luca Di Stefano, Frédéric Lang
Veröffentlicht in: VMCAI 2023: International Conference on Verification, Model Checking, and Abstract Interpretation, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-24950-1_8

Tainting in Smart Contracts: Combining Static and Runtime Verification

Autoren: Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Veröffentlicht in: RV 2022: International Conference on Runtime Verification, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-17196-3_8

AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification

Autoren: Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace
Veröffentlicht in: RV 2022: International Conference on Runtime Verification, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-17196-3_13

Reasoning about Quality and Fuzziness of Strategic Behaviours

Autoren: Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 1588-1594, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/220

Synthesis of Run-To-Completion Controllers for Discrete Event Systems

Autoren: Yehia Abd Alrahman; Victor Braberman; Nicolas D'Ippolito; Nir Piterman; Sebastian Uchitel
Veröffentlicht in: 2021 American Control Conference (ACC), Ausgabe 3, 2021
Herausgeber: IEEE
DOI: 10.23919/acc50511.2021.9482704

Synthesis for prefix first-order logic on data words

Autoren: Julien Grange, Mathieu Lehaut
Veröffentlicht in: FORTE 2024: 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 2024
Herausgeber: Springer

COOL 2 – A Generic Reasoner for Modal Fixpoint Logics

Autoren: Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
Veröffentlicht in: CADE 2023: International Conference on Automated Deduction, 2023
Herausgeber: Springer
DOI: 10.1007/978-3-031-38499-8_14

Modelling Flocks of Birds from the Bottom Up

Autoren: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Veröffentlicht in: ISoLA 2022: International Symposium on Leveraging Applications of Formal Methods, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-19759-8_6

A PO Characterisation of Reconfiguration

Autoren: Yehia Abd Alrahman, Mauricio Martel, Nir Piterman
Veröffentlicht in: ICTAC 2022: International Colloquium on Theoretical Aspects of Computing, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-17715-6_5

Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security

Autoren: Claudia Cauli, Magdalena Ortiz, Nir Piterman
Veröffentlicht in: KR 2021: 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Herausgeber: IJCAI Organization
DOI: 10.24963/kr.2021/17

Measuring the Gain of Reconfigurable Communication

Autoren: Lehaut, Mathieu; Piterman, Nir
Veröffentlicht in: ArXiV, Ausgabe 19, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2305.01425

Correct-by-Design Teamwork Plans for Multi-Agent Systems

Autoren: Yehia Abd Alrahman, Nir Piterman
Veröffentlicht in: 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2301.01257

Synthesis of Run-To-Completion Controllers for Discrete Event Systems

Autoren: Yehia Abd Alrahman, Victor Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Veröffentlicht in: ArXiV, 2020
Herausgeber: Cornell University

Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi

Autoren: Daniel Hausmann, Lutz Schröder
Veröffentlicht in: ArXiV, 2024
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2212.11055

LTL Synthesis on Infinite-State Arenas defined by Programs

Autoren: Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca di Stefano
Veröffentlicht in: ArXiV, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2307.09776

Modelling and verification of reconfigurable multi-agent systems.

Autoren: Yehia Abd Alrahman; Nir Piterman
Veröffentlicht in: ArXiV, Ausgabe 2, 2021
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2104.10998

"Nominal B\""uchi Automata with Name Allocation"

Autoren: Urbat, Henning; Hausmann, Daniel; Milius, Stefan; Schröder, Lutz
Veröffentlicht in: ArXiV, Ausgabe 3, 2021
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2107.03213

Environmentally-friendly GR(1) Synthesis

Autoren: Majumdar, Rupak; Piterman, Nir; Schmuck, Anne-Kathrin
Veröffentlicht in: ArXiV, Ausgabe 1, 2019
Herausgeber: Cornell University

Operation Control Protocols in Power Distribution Grids

Autoren: Alrahman, Yehia Abd; Vieira, Hugo Torres
Veröffentlicht in: ArXiV, Ausgabe 2, 2018
Herausgeber: Cornell University

A Direct Translation from LTL with Past to Deterministic Rabin Automata

Autoren: Shaun Azzopardi, David Lidell, Nir Piterman
Veröffentlicht in: ArXiV, 2024
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2405.01178

A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata

Autoren: Daniel Hausmann, Nir Piterman
Veröffentlicht in: ArXiV, 2022
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2207.00517

Reconfigurable Interaction for MAS Modelling

Autoren: Yehia Abd Alrahman,; Perelli, Giuseppe; Nir, Piterman
Veröffentlicht in: ArXiV, Ausgabe 1, 2019
Herausgeber: Cornell University

Incorporating Monitors in Reactive Synthesis without Paying the Price

Autoren: Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo
Veröffentlicht in: ArXiV, Ausgabe 2, 2021
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2107.00929

Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

Autoren: Piergiuseppe Mallozzi, Pierluigi Nuzzo, Nir Piterman, Gerardo Schneider, Patrizio Pelliccione
Veröffentlicht in: ArXiV, 2023
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2306.08144

A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata

Autoren: Daniel Hausmann, Nir Piterman
Veröffentlicht in: Principles of System Design, 2022, Seite(n) 228-251
Herausgeber: Springer
DOI: 10.1007/978-3-031-22337-2_11

Testing for coordination fidelity

Autoren: Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira
Veröffentlicht in: Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
Herausgeber: Springer
DOI: 10.1007/978-3-030-21485-2_10

Environmentally-Friendly GR(1) Synthesis

Autoren: Rupak Majumdar, Nir Piterman, Anne-Kathrin Schmuck
Veröffentlicht in: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Ausgabe 11428, 2019, Seite(n) 229-246, ISBN 978-3-030-17464-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_13

Games for Efficient Supervisor Synthesis

Autoren: Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
Veröffentlicht in: IEEE Control Systems Letters, 2023, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2023.3290727

Nash Equilibrium and Bisimulation Invariance

Autoren: Julian Gutierrez, Paul Harrenstein, Giuseppe Perelli, Michal Wooldridge
Veröffentlicht in: Logical Methods in Computer Science, Ausgabe 15, 2019, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig
DOI: 10.23638/lmcs-15(3:32)2019

A distributed API for coordinating AbC programs

Autoren: Yehia Abd Alrahman, Giulio Garbi
Veröffentlicht in: International Journal on Software Tools for Technology Transfer, Ausgabe 22/4, 2020, Seite(n) 477-496, ISSN 1433-2779
Herausgeber: Springer Verlag
DOI: 10.1007/s10009-020-00553-4

Programming interactions in collective adaptive systems by relying on attribute-based communication

Autoren: Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Veröffentlicht in: Science of Computer Programming, Ausgabe 192, 2020, Seite(n) 102428, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2020.102428

Automated replication of tuple spaces via static analysis

Autoren: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Veröffentlicht in: Science of Computer Programming, Ausgabe 01676423, 2022, ISSN 0167-6423
Herausgeber: Elsevier BV
DOI: 10.1016/j.scico.2022.102863

Modelling and verification of reconfigurable multi-agent systems

Autoren: Yehia Abd Alrahman, Nir Piterman
Veröffentlicht in: Journal of Autonomous Agents and Multi-agent Systems, Ausgabe 35, 2021, ISSN 1573-7454
Herausgeber: Springer
DOI: 10.1007/s10458-021-09521-x

Compositional verification of priority systems using sharp bisimulation

Autoren: Luca Di Stefano, Frédéric Lang
Veröffentlicht in: Formal Methods in System Design, 2023, ISSN 1572-8102
Herausgeber: Springer
DOI: 10.1007/s10703-023-00422-1

Language Support for Verifying Reconfigurable Interacting Systems

Autoren: Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Veröffentlicht in: STTT: International Journal on Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Herausgeber: Springer Verlag
DOI: 10.1007/s10009-023-00729-8

Control and Discovery of Environment Behaviour

Autoren: Maureen Keegan, Victor A. Braberman, Nicolas D'Ippolito, Nir Piterman, Sebastian Uchitel
Veröffentlicht in: IEEE Transactions on Software Engineering, 2019, Seite(n) 1-1, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2020.3044532

A calculus for collective-adaptive systems and its behavioural theory

Autoren: Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Veröffentlicht in: Information and Computation, Ausgabe 268, 2019, Seite(n) 104457, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2019.104457

Modelling Flocks of Birds and Colonies of Ants from the Bottom Up

Autoren: Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Veröffentlicht in: STTT: International Journal on Software Tools for Technology Transfer, 2023, ISSN 1433-2779
Herausgeber: Springer Verlag
DOI: 10.1007/s10009-023-00731-0

A coordination protocol language for power grid operation control

Autoren: Yehia Abd Alrahman, Hugo Torres Vieira
Veröffentlicht in: Journal of Logical and Algebraic Methods in Programming, Ausgabe 109, 2019, Seite(n) 100487, ISSN 2352-2208
Herausgeber: Elsevier
DOI: 10.1016/j.jlamp.2019.100487

Leistungen

Veröffentlichungen

Diese Seite teilen Diese Seite in sozialen Netzwerken teilen

Herunterladen Den Inhalt der Seite herunterladen