Search - Equipe Autonomic and Critical Embedded Systems Access content directly

Filter your results

355 Results

A benchmark of incremental model transformation tools based on an industrial case study with AADL

Hana Mkaouar , Dominique Blouin , Etienne Borde
Software and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles hal-03905646v1

A Cognitive Control System for Managing Runtime Uncertainty in Self-Integrating Autonomic Systems

Marius Pol , Ada Diaconescu
SISSY workshop, IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Aug 2020, Washington DC (virtual), France
Conference papers hal-03023108v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Amine Naji , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers hal-01246343v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1

A Concurrency-Optimal Binary Search Tree

Vitalii Aksenov , Vincent Gramoli , Petr Kuznetsov , Anna Malova , Srivatsan Ravi
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
Conference papers hal-01664898v1

A Coq Framework for More Trustworthy DRAM Controllers

Felipe Lisboa Malaquias , Mihail Asavoae , Florian Brandner
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Conference papers hal-03702493v1
Image document

A Decentralised Architecture for Multi-Objective Autonomic Management

Sylvain Frey , Philippe Lalanda , Ada Diaconescu
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
Journal articles hal-00879548v1

A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems

Etienne Houze , Ada Diaconescu , Jean-Louis Dessalles , David Menga , Mathieu Schumann
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers hal-02963566v1

A Dynamic Scalable Blockchain Based Communication Architecture for IoT

Han Qiu , Meikang Qiu , Meiqin Liu , Zhong Ming , Gérard Memmi
SmartBlock'18, Dec 2018, Tokyo, Japan. pp.159-166
Conference papers hal-02288555v1

A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent Locations

Katarzyna Kapusta , Gérard Memmi
Esorics’18, STM workshop, Sep 2018, Barcelona, Spain
Conference papers hal-02288556v1

A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
IEEE Journal on Selected Areas in Communications, 2014, 32 (7), pp.12. ⟨10.1109/JSAC.2014.2332095⟩
Journal articles hal-01113214v1

A Game Theoretical Model for Optimal Distribution of Network Security Resources

Ziad Ismail , Christophe Kiennert , Jean Leneutre , Lin Chen
Gamesec, Oct 2017, Vienna, Austria. ⟨10.1007/978-3-319-68711-7_13⟩
Conference papers hal-01688475v1

A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
IEEE 16th International Symposium on High Assurance Systems Engineering (HASE), Jan 2015, Daytona Beach Shores, FL, United States. ⟨10.1109/HASE.2015.24⟩
Conference papers hal-01113223v1

A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
HASE, IEEE, Jan 2015, Daytona Beach, United States
Conference papers hal-01110552v1
Image document

A generic and adaptive approach to explainable AI in autonomic systems : the case of the smart home

Etienne Houzé
Ubiquitous Computing. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT022⟩
Theses tel-03721520v1

A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids

Sylvain Frey , Ada Diaconescu , David Menga , Isabelle Demeure
ACM Transactions on Autonomous and Adaptive Systems, 2015, 10 (2), pp.9:1-9:21
Journal articles hal-02287025v1
Image document

A graph theoretical characterization of minimal deadlocks in Petri nets

Jean-Claude Bermond , Gerard Memmi
Graph theory with applications to algorithms and computer science, Wiley, 1985, Kalamazoo,MI, United States. pp.73-87
Conference papers hal-02447228v1
Image document

A grounded theory of Community Package Maintenance Organizations

Théo Zimmermann , Jean-Rémy Falleri
Empirical Software Engineering, 2023, 28 (4), pp.101. ⟨10.1007/s10664-023-10337-4⟩
Journal articles hal-03976601v1

A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid

Sylvain Frey , Ada Diaconescu , Menga David , Isabelle Demeure
Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States
Conference papers hal-02288388v1
Image document

A Large-scale Dataset of (Open Source) License Text Variants

Stefano Zacchiroli
The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528491⟩
Conference papers hal-03624198v1

A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
GameSec, Nov 2016, New York, United States
Conference papers hal-01418446v1

A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing

Yanjun Sun , Gérard Memmi , Sylvie Vignes
Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers hal-02287374v1
Image document

A Real-Time NMPC Controller for Autonomous Vehicle Racing

Nan Li , Eric Goubault , Laurent Pautet , Sylvie Putot
2022 6th International Conference on Automation, Control and Robots (ICACR), Sep 2022, Shanghai, China. pp.148-155, ⟨10.1109/ICACR55854.2022.9935523⟩
Conference papers hal-04009646v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-03340371v1

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-01649727v1

A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems

V. Legout , M. Jan , Laurent Pautet
RTNS '13 Proceedings of the 21st International conference on Real-Time Networks and Systems, Oct 2013, Sophia Antipolis, France. pp.99-108, ⟨10.1145/2516821.2516839⟩
Conference papers cea-01818894v1

A Secure and Effective Device Pairing Protocol

Trung Nguyen , Jean Leneutre
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers hal-02288430v1

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

Dominique Blouin , Matthias Barkowski , Melanie Schneider , Holger Giese , Johannes Dyck , et al.
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
Conference papers hal-01873945v1

A survey on game-theoretic approaches for intrusion detection and response optimization

Christophe Kiennert , Ismail Ziad , Hervé Debar , Jean Leneutre
ACM Computing Surveys, 2019, 51 (5), pp.article 90 -. ⟨10.1145/3232848⟩
Journal articles hal-02009646v1

A Survey on the Current Security Landscape of Intelligent Transportation Systems

Ayyoub Lamssaggad , Nabil Benamar , Abdelhakim Senhaji Hafid , Mounira Msahli
IEEE Access, 2021, pp.1-1. ⟨10.1109/ACCESS.2021.3050038⟩
Journal articles hal-03104867v1

AADL: A Language to Specify the Architecture of Cyber-Physical Systems

Dominique Blouin , Etienne Borde
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections hal-03022808v1

Access control in probative value cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
Conference papers hal-03042230v1

Access Control in Probative Value Cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom
Conference papers hal-02287110v1

Additively homomorphic encryption and fragmentation scheme for data aggregation inside unattended wireless sensor networks

Katarzyna Kapusta , Gérard Memmi , Hassan Noura
Annals of Telecommunications - annales des télécommunications, 2019, 74 (3-4), pp.157-165. ⟨10.1007/s12243-018-0684-x⟩
Journal articles hal-02450271v1

Adversarial Attacks Against Network Intrusion Detection in IoT Systems

Han Qiu , Tian Dong , Tianwei Zhang , Jialiang Lu , Gerard Memmi , et al.
IEEE Internet of Things Journal, 2021, 8 (13), pp.10327-10335. ⟨10.1109/JIOT.2020.3048038⟩
Journal articles hal-03559698v1
Image document

Affine Tasks for k-Test-and-Set

Petr Kuznetsov , Thibault Rieutord
2020
Preprints, Working Papers, ... hal-01810601v2
Image document

Agreement in Spiking Neural Networks

Martin Kunev , Petr Kuznetsov , Denis Sheynikhovich
Journal of Computational Biology, 2022, 29 (4), pp.358 - 369. ⟨10.1089/cmb.2021.0365⟩
Journal articles inserm-03719607v1

Algorithmic Self-Governance and the Design of Socio-Technical Systems

Jeremy Pitt , Didac Busquets , Ada Diaconescu , Andrzej Nowak , Agnieszka Rychwalska , et al.
European Conference on Social Intelligence, Nov 2014, Barcelona, Spain
Conference papers hal-02287024v1

All-Or-Nothing data protection for ubiquitous communication: Challenges and perspectives

Han Qiu , Katarzyna Kapusta , Zhihui Lu , Meikang Qiu , Gérard Memmi
Information Sciences, 2019, 502, pp.434-445. ⟨10.1016/j.ins.2019.06.031⟩
Journal articles hal-02450300v1

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Francesco Belardinelli , Angelo Ferrando , Vadim Malvone
Artificial Intelligence, 2023, 316, pp.103847. ⟨10.1016/j.artint.2022.103847⟩
Journal articles hal-03960910v1
Image document

An Asynchronous Computability Theorem for Fair Adversaries

Petr Kuznetsov , Thibault Rieutord , Yuan He
2017
Preprints, Working Papers, ... hal-01572257v4

An Attack Execution Model for Industrial Control Systems Security Assessment.

Ziad Ismail , J. Leneutre , Alia Fourati
CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167
Conference papers hal-02287737v1
Image document

An efficient data protection architecture based on fragmentation and encryption

Han Qiu
Cryptography and Security [cs.CR]. Télécom ParisTech, 2017. English. ⟨NNT : 2017ENST0049⟩
Theses tel-03419019v1

An efficient key distribution system for data fusion in V2X heterogeneous networks

Han Qiu , Meikang Qiu , Zhihui Lu , Gérard Memmi
Information Fusion, 2019, 50, pp.212-220. ⟨10.1016/j.inffus.2019.02.002⟩
Journal articles hal-02450299v1

An Efficient Modeling and Execution Framework for Complex Systems Development

Isabelle. Perseil , Laurent Pautet
International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331
Conference papers hal-02288369v1

An efficient Secure Storage Scheme Based on Information Fragmentation

Han Qiu , Gérard Memmi , Hassan Noura
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
Conference papers hal-02287645v1

An Emerging Need for a New Software Engineering Method

Laurent Pautet , Isabelle. Perseil
International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364
Conference papers hal-02286672v1
Image document

An integrated ontology for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Holger Giese , Stefan Klikovits , Soumyadip Bandyopadhyay , et al.
Bedir Tekinerdogan; Dominique Blouin; Hans Vangheluwe; Miguel Goulão; Paulo Carreira; Vasco Amaral. Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.123-145, 2021, 978-0-12-819105-7. ⟨10.1016/B978-0-12-819105-7.00010-6⟩
Book sections hal-03167819v1
Image document

An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption

Vincent Legout , Mathieu Jan , Laurent Pautet
First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12
Conference papers hal-00919169v1

An ontological foundation for multi-paradigm modelling for cyber-physical systems

Dominique Blouin , Rima Al-Ali , Mauro Iacono , Bedir Tekinerdogan , Holger Giese
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.9-43, 2021, ⟨10.1016/B978-0-12-819105-7.00007-6⟩
Book sections hal-03225338v1

An ontology for multi-paradigm modelling

Holger Giese , Dominique Blouin , Rima Al-Ali , Hana Mkaouar , Soumyadip Bandyopadhyay , et al.
Multi-Paradigm Modelling Approaches for Cyber-Physical Systems, Elsevier, pp.67-122, 2021, ⟨10.1016/B978-0-12-819105-7.00009-X⟩
Book sections hal-03219279v1

Analyse à partir du modèle

Thomas Robert , Jérôme Hugues
Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013
Book sections hal-02286675v1
Image document

Anticanonical codes from del Pezzo surfaces with Picard rank one

Régis Blache , Alain Couvreur , Emmanuel Hallouin , David Madore , Jade Nardi , et al.
Transactions of the American Mathematical Society, 2020, ⟨10.1090/tran/8119⟩
Journal articles hal-02075926v1
Image document

Approche sémantique de la conception de services connectés : cadre d'architecture, algorithmique de composition, application à la maison connectée

Rayhana Bouali Baghli
Modélisation et simulation. Télécom ParisTech, 2017. Français. ⟨NNT : 2017ENST0072⟩
Theses tel-03411977v1

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications

Francesco Belardinelli , Alessio Lomuscio , Vadim Malvone , Emily Yu
Journal of Artificial Intelligence Research, 2022, 73, pp.897-932. ⟨10.1613/jair.1.12539⟩
Journal articles hal-03779030v1
Image document

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems, Jul 2019, Stuttgart, Germany. ⟨10.4230/LIPIcs.ECRTS.2019.19⟩
Conference papers hal-02447339v1

Arbitration-Induced Preemption Delays

Farouk Hebbache , Florian Brandner , Mathieu Jan , Laurent Pautet
31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart,, Germany
Conference papers hal-02447655v1

Architectural Integration Patterns for Autonomic Management Systems

Sylvain Frey , Ada Diaconescu , Isabelle Demeure
9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia
Conference papers hal-02286263v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Smail Rahmoun , Fabien Cadoret , Laurent Pautet , Frank Singhoff , et al.
IEEE International Symposium on Rapid System Prototyping, Oct 2014, New Dehli, India
Conference papers hal-01121019v1

Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems

Etienne Borde , Laurent Pautet , Fabien Cadoret , Smail Rahmoun , Frank Singhoff
International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50
Conference papers hal-01115723v1

Assessing adversarial training effect on IDSs and GANs

Hassan Chaitou , Thomas Robert , Jean Leneutre , Laurent Pautet
2021 IEEE International Conference on Cyber Security and Resilience (CSR) Workshop on Resilient Artificial Intelligence, Jul 2021, Rhodes, France. pp.543-550, ⟨10.1109/CSR51186.2021.9527949⟩
Conference papers hal-03775550v1

Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ

Mark Abspoel , Ronald Cramer , Ivan Damgård , Daniel Escudero , Matthieu Rambaud , et al.
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections hal-03800662v1

Asymptotically-Good Arithmetic Secret Sharing over Z/pℓZ with Strong Multiplication and Its Applications to Efficient MPC

Ronald Cramer , Matthieu Rambaud , Chaoping Xing
Advances in Cryptology – CRYPTO 2021, 12827, Springer International Publishing, pp.656-686, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-84252-9_22⟩
Book sections hal-03800642v1

Asynchronous Reconfiguration with Byzantine Failures

Petr Kuznetsov , Andrei Tonkikh
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022581v1

AT2: Asynchronous Trustworthy Transfers

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi
CoRR, 2018, abs/1812.10844
Journal articles hal-02288008v1

AT2: Asynchronous Trustworthy Transfers

Rachid Guerraoui , Petr Kuznetsov , Matteo Monti , Matej Pavlovic , Dragos-Adrian Seredinschi
CoRR, 2018, abs/1812.10844
Journal articles hal-02288004v1

Auditing a Cloud Provider's Compliance with Data Backup Requirements: A Game Theoretical Analysis

Ziad Ismail , Christophe Kiennert , Jean Leneutre , David Bateman , Lin Chen
IEEE Transactions on Information Forensics and Security, 2016, 11, pp.1685-1699. ⟨10.1109/tifs.2016.2549002⟩
Journal articles hal-01418390v1
Image document

Authenticated and Privacy-Preserving Consent Management in the Internet of Things

Maryline Laurent , Jean Leneutre , Sophie Chabridon , Imane Laaouane
ANT 2019: 10th International Conference on Ambient Systems, Networks and Technologies (ANT), Apr 2019, Leuven, Belgium. pp.256-263, ⟨10.1016/j.procs.2019.04.037⟩
Conference papers hal-02147191v1

Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6
Conference papers hal-02288490v1

Automatic Production of Transformation Chains Using Structural Constraints on Output Models

Cuauhtemoc Castellanos , Etienne Borde , Laurent Pautet , Thomas Vergnaud , Thomas Dérive
Euromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165
Conference papers hal-01115708v1

Automatic selection and composition of model transformations alternatives using evolutionary algorithms

Smail Rahmoun , Etienne Borde , Laurent Pautet
ECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7
Conference papers hal-02292448v1

Autonomic Computing - Principles, Design and Implementation

Philippe Lalanda , Mccann A. Julie , Ada Diaconescu
Springer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
Books hal-00854882v1

Autonomic Computing: Principles, Design and Implementation

Philippe Lalanda , Julie Mccann , Ada Diaconescu
Springer, pp.298, 2013
Books hal-02286670v1
Image document

Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming

Nan Li , Eric Goubault , Laurent Pautet , S. Putot
Opportunities and challenges with autonomous racing, 2021 ICRA workshop, May 2021, Online, United States
Conference papers hal-03749355v1

Availability enhancement and analysis for mixed-criticality systems on multi-core

Roberto Medina , Etienne Borde , Laurent Pautet
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2018, Dresden, France. pp.1271-1276
Conference papers hal-01994643v1
Image document

Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)

Lucas Massoni Sguerra , Pierre Jouvelot , Emilio Jesús Gallego Arias , Gérard Memmi , Fabien Coelho
FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States
Conference papers hal-03210222v1
Image document

Brief Announcement: A Concurrency-Optimal List-Based Set

Vincent Gramoli , Petr Kuznetsov , Srivatsan Ravi , Di Shang
DISC 2015, Toshimitsu Masuzawa; Koichi Wada, Oct 2015, Tokyo, Japan
Conference papers hal-01207872v1
Image document

Brief Announcement: Accountability and Reconfiguration -Self-Healing Lattice Agreement

Luciano Freitas de Souza , Petr Kuznetsov , Thibault Rieutord , Sara Tucci-Piergiovanni
35th International Symposium on Distributed Computing (DISC 2021), Oct 2021, Freibourg, Germany. ⟨10.4230/LIPIcs.DISC.2021.54⟩
Conference papers hal-03559551v1

Brief Announcement: Malicious Security Comes for Free in Consensus with Leaders

Mark Abspoel , Thomas Attema , Matthieu Rambaud
PODC '21: ACM Symposium on Principles of Distributed Computing, Jul 2021, Virtual Event Italy, France. pp.195-198, ⟨10.1145/3465084.3467953⟩
Conference papers hal-03800650v1

Brief Announcement: On Decidability of 2-Process Affine Models

Petr Kuznetsov , Thibault Rieutord
DISC, Oct 2020, VIRTUAL, France
Conference papers hal-03022583v1