Specify, Compile, Run: Hardware from PSL, Electronic Notes in Theoretical Computer Science, vol.190, issue.4, pp.3-16, 2007. ,
DOI : 10.1016/j.entcs.2007.09.004
URL : http://doi.org/10.1016/j.entcs.2007.09.004
Efficient On-the-Fly Algorithms for the Analysis of Timed Games, In CONCUR LNCS, vol.3653, pp.66-80, 2005. ,
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475
Antichains: A New Algorithm for Checking Universality of Finite Automata, CAV, pp.17-30, 2006. ,
DOI : 10.1007/11817963_5
Improved algorithms for the automata-based approach to modelchecking, TACAS, pp.451-465, 2007. ,
An Antichain Algorithm for LTL Realizability, CAV, pp.263-277, 2009. ,
DOI : 10.1007/978-3-642-02658-4_22
URL : https://hal.archives-ouvertes.fr/inria-00489952
Open Implication, ICALP'08, pp.361-372, 2008. ,
DOI : 10.1007/978-3-540-70583-3_30
Optimizations for LTL Synthesis, 2006 Formal Methods in Computer Aided Design, pp.117-124 ,
DOI : 10.1109/FMCAD.2006.22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.425
Compositional Control Synthesis for Partially Observable Systems, In CONCUR LNCS, vol.77, issue.1, pp.431-447, 2009. ,
DOI : 10.1007/11730637_14
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.560.1943
Safraless Decision Procedures, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), pp.531-542, 2005. ,
DOI : 10.1109/SFCS.2005.66
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9348
Safraless Compositional Synthesis, CAV, pp.31-44, 2006. ,
DOI : 10.1007/11817963_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.1018
On the synthesis of a reactive module, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.179-190, 1989. ,
DOI : 10.1145/75277.75293
Modular synthesis of reactive systems, Weizmann Institute of Science, 1992. ,
On the complexity of omega -automata, [Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science, pp.319-327, 1988. ,
DOI : 10.1109/SFCS.1988.21948
Bounded Synthesis, ATVA, pp.474-488, 2007. ,
DOI : 10.1007/978-3-540-75596-8_33
Safety first: A two-stage algorithm for LTL games, 2009 Formal Methods in Computer-Aided Design, pp.77-84, 2009. ,
DOI : 10.1109/FMCAD.2009.5351138
Church???s Problem and a Tour through Automata Theory, Pillars of Computer Science, pp.635-655, 2008. ,
DOI : 10.1007/978-3-540-78127-1_35
An automata-theoretic approach to linear temporal logic, Banff Higher Order Workshop, pp.238-266, 1995. ,
DOI : 10.1007/3-540-60915-6_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.125.8126