Julián Samborski-Forlese

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Automata Theoretic

Verification Method

Top Venues

Publications

César Sánchez, Julián Samborski-Forlese
Efficient Regular Linear Temporal Logic Using Dualization and Stratification. TIME (2012)
César Sánchez, Julián Samborski-Forlese
How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata. ICTAC (2012)
Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese
Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM (2008)