Nathalie Sznajder

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Round- and context-bounded control of dynamic pushdown systems Formal Methods in System Design	2024-06-28	Paper
Round-bounded control of parameterized systems Automated Technology for Verification and Analysis	2023-07-28	Paper
Synthesis in presence of dynamic links Information and Computation	2022-12-08	Paper
scientific article; zbMATH DE number 7455739 (Why is no real title available?)	2022-01-11	Paper
scientific article; zbMATH DE number 7455739 (Why is no real title available?) (available as arXiv preprint)	2022-01-11	Paper
Parameterized verification of algorithms for oblivious robots on a ring Formal Methods in System Design	2021-02-08	Paper
Parameterized synthesis for fragments of first-order logic over data words (available as arXiv preprint)	2020-09-23	Paper
Real-time synthesis is hard! Lecture Notes in Computer Science	2018-02-16	Paper
Fair synthesis for asynchronous distributed systems ACM Transactions on Computational Logic	2015-09-17	Paper
On regions and zones for event-clock automata Formal Methods in System Design	2015-01-19	Paper
Probabilistic opacity for Markov decision processes Information Processing Letters	2014-10-07	Paper
Decidability of well-connectedness for distributed synthesis Information Processing Letters	2013-03-21	Paper
Concurrent games on VASS with inhibition Lecture Notes in Computer Science	2012-09-25	Paper
Event clock automata: from theory to practice Lecture Notes in Computer Science	2011-10-07	Paper
Safraless Procedures for Timed Specifications Lecture Notes in Computer Science	2010-09-10	Paper
Distributed synthesis for well-connected architectures Formal Methods in System Design	2009-09-25	Paper
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems Lecture Notes in Computer Science	2009-02-03	Paper
Distributed Synthesis for Well-Connected Architectures FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science	2008-04-17	Paper

Research outcomes over time

This page was built for person: Nathalie Sznajder