Pierre-Alain Reynier

According to our database1, Pierre-Alain Reynier authored at least 36 papers between 2005 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Visibly pushdown transducers.
J. Comput. Syst. Sci., 2018

Symbolic Approximation of Weighted Timed Games.
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

From Two-Way Transducers to Regular Function Expressions.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

2017
Copyful Streaming String Transducers.
Proceedings of the Reachability Problems - 11th International Workshop, 2017

Degree of Sequentiality of Weighted Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

Optimal Reachability in Divergent Weighted Timed Games.
Proceedings of the Foundations of Software Science and Computation Structures, 2017

2016
Transducers, logic and algebra for functions of finite words.
SIGLOG News, 2016

A Generalised Twinning Property for Minimisation of Cost Register Automata.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Two-Way Visibly Pushdown Automata and Transducers.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Aperiodic String Transducers.
Proceedings of the Developments in Language Theory - 20th International Conference, 2016

2015
Decision Problems of Tree Transducers with Origin.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014
Visibly Pushdown Transducers with Well-Nested Outputs.
Proceedings of the Developments in Language Theory - 18th International Conference, 2014

Probabilistic Robust Timed Games.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
Expressiveness of Visibly Pushdown Transducers.
Proceedings of the Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, 2013

Trimming Visibly Pushdown Automata.
Proceedings of the Implementation and Application of Automata, 2013

From Two-Way to One-Way Finite State Transducers.
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Robust Controller Synthesis in Timed Automata.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012
Robustness of Time Petri Nets under Guard Enlargement.
Proceedings of the Reachability Problems - 6th International Workshop, 2012

Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness.
Proceedings of the Developments in Language Theory - 16th International Conference, 2012

Controllers with Minimal Observation Power (Application to Timed Systems).
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Streamability of Nested Word Transductions.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

Quantitative Robustness Analysis of Flat Timed Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011

Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Properties of Visibly Pushdown Transducers.
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009
Undecidability Results for Timed Automata with Silent Transitions.
Fundam. Inform., 2009

Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

On Characteristic Formulae for Event-Recording Automata.
Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

Weak Time Petri Nets Strike Back!.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Robust Analysis of Timed Automata via Channel Machines.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2006
Robust Model-Checking of Linear-Time Properties in Timed Automata.
Proceedings of the LATIN 2006: Theoretical Informatics, 2006

Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences.
Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Timed Unfoldings for Networks of Timed Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2006

Extended Timed Automata and Time Petri Nets.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005


  Loading...