Pôle Modèles Distributed Computing
Contact: Matthias Függer
We are working on topics from concurrent and distributed systems, studying their properties and fundamental limitations both from a theoretical and application-oriented perspective.
People
Permanent
Emeritus
Postdocs
Thomas Chevet
PhD students
Fabricio Cravo
Alexandrina Korneva
Olivier Stietel
Zhuofan Xu
Publications
The group's publications can be accessed via https://hal.science/LMF-CDS. Recent publications are listed below.
2022
- Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil: Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages, 33rd International Conference on Concurrency Theory (CONCUR 2022), 2022.
- Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil: ASYNCHRONOUS WREATH PRODUCT AND CASCADE DECOMPOSITIONS FOR CONCURRENT BEHAVIOURS, Logical Methods in Computer Science, 2022.
- Matthias Függer, Attila Kinali, Christoph Lenzen, Ben Wiederhake: Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022.
2021
- Béatrice Bérard, Benedikt Bollig, Patricia Bouyer, Matthias Függer, Nathalie Sznajder: Synthesis in presence of dynamic links, Information and Computation, 2021.
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Computer Aided Formal Design of Swarm Robotics Algorithms, Stabilization, Safety, and Security of Distributed Systems. SSS 2021, 2021.
- Mathilde Boltenhagen, Thomas Chatain, Josep Carmona: An A*-Algorithm for Computing Discounted Anti-Alignments in Process Mining, 3rd International Conference on Process Mining, 2021.
- Matthias Függer, Thomas Nowak, Manfred Schwarz: Tight Bounds for Asymptotic and Approximate Consensus, Journal of the ACM (JACM), 2021.
- Mathilde Boltenhagen: Process Instance Clustering Based on Conformance Checking Artefacts,Partitionnement d’instances de processus basé sur les techniques de conformité de modèles, 2021.
- Mathilde Boltenhagen: Partitionnement d’instances de processus basé sur les techniques de conformité de modèles,Process Instance Clustering Based on Conformance Checking Artefacts, 2021.
- Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, Quentin Soubeyran: Distributed computation with continual population growth, Distributed Computing, 2021.
- Anirban Majumdar: Vérification et synthèse de systèmes concurrents paramétrés,Verification and synthesis of parameterized concurrent systems, 2021.
- Mathilde Boltenhagen, Thomas Chatain, Josep Carmona: A Discounted Cost Function for Fast Alignments of Business Processes, BPM 2021 - 19th International Conference on Business Process Management, 2021.
- Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Etienne Lozes, Amrita Suresh: A Unifying Framework for Deciding Synchronizability, CONCUR 2021 - 32nd International Conference on Concurrency Theory, 2021.
- Serge Haddad, Didier Lime, Olivier H Roux: A Turn-Based Approach for Qualitative Time Concurrent Games, PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, 2021.
- Wolfgang Dür, Matthias Függer, Andreas Steininger: Generation of a fault-tolerant clock through redundant crystal oscillators, Microelectronics Reliability, 2021.
- Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar: Reconfiguration and Message Losses in Parameterized Broadcast Networks, Logical Methods in Computer Science, 2021.
- Benedikt Bollig, Marie Fortin, Paul Gastin: Communicating finite-state machines\, first-order logic\, and star-free propositional dynamic logic, Journal of Computer and System Sciences, 2021.
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Comment s'assurer de garder le contact (et nos distances), ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021.
2020
- Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi: A Coloured Petri Nets Based Attack Tolerance Framework, 27th Asia-Pacific Software Engineering Conference (APSEC 2020), 2020.
Projects
running
- DREAMY (ANR) on Distributed Algorithms for Microbiological Systems.
past
currently no past projects
Seminar
For seminars please see the seminar page.
Joining the group / open positions
We are looking for excellent Postdocs, PhDs, and interns. If you are interested in joining, please contact a member of the group that is closest to your research interests.
We are also looking for high potentials that want to join the group as a researcher. If you got interested please contact Matthias Függer.
Contact
Any other questions? Please write us.
Email: mfuegger at lsv dot fr