Nathalie Sznajder

Available identifiers

Publication	Date of Publication	Type
Round- and context-bounded control of dynamic pushdown systems	2024-06-28	Paper
Round-bounded control of parameterized systems	2023-07-28	Paper
Synthesis in presence of dynamic links	2022-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q5020999	2022-01-11	Paper
Parameterized verification of algorithms for oblivious robots on a ring	2021-02-08	Paper
Parameterized synthesis for fragments of first-order logic over data words	2020-09-23	Paper
Real-Time Synthesis is Hard!	2018-02-16	Paper
Fair Synthesis for Asynchronous Distributed Systems	2015-09-17	Paper
On regions and zones for event-clock automata	2015-01-19	Paper
Probabilistic opacity for Markov decision processes	2014-10-07	Paper
Decidability of well-connectedness for distributed synthesis	2013-03-21	Paper
Concurrent Games on VASS with Inhibition	2012-09-25	Paper
Event Clock Automata: From Theory to Practice	2011-10-07	Paper
Safraless Procedures for Timed Specifications	2010-09-10	Paper
Distributed synthesis for well-connected architectures	2009-09-25	Paper
Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems	2009-02-03	Paper
Distributed Synthesis for Well-Connected Architectures	2008-04-17	Paper

This page was built for person: Nathalie Sznajder