MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Andreas Podelski – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

66 documents found, showing 1 through 10. Next 10 →

ATOM

Model Checking as Constraint Solving
by Andreas Podelski — 2000 — In Proceedings of SAS 00: International Static Analysis Symposium
…Model Checking as Constraint Solving Andreas Podelski Max-Planck-Institut fur Informatik Im…
Cited by 11 (0 self) – Add To MetaCart

Constraint-based Deductive Model Checking
by Giorgio Delzanno, Andreas Podelski — 2001
…-based Deductive Model Checking Giorgio Delzanno and Andreas Podelski Max-Planck-Institut fur Informatik Im…
Cited by 18 (4 self) – Add To MetaCart

The Independence Property of a Class of Set Constraints
by Witold Charatonik, Andreas Podelski — 1996 — In Conference on Principles and Practice of Constraint Programming
…The Independence Property of a Class of Set Constraints Witold Charatonik Andreas Podelski Max…
Cited by 11 (3 self) – Add To MetaCart

Model checking of hybrid systems: From reachability towards stability
by Andreas Podelski, Silke Wagner — 2006 — Hybrid Systems: Computation and Control, volume 3927 of LNCS
…Model Checking of Hybrid Systems: From Reachability towards Stability Andreas Podelski and Silke…
Cited by 6 (2 self) – Add To MetaCart

Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata
by Supratik Mukhopadhyay, Andreas Podelski — 1999 — 19th International Conference on the Foundations of Software Technology and Theoretical Computer Science, volume 1738 of LNCS
… Podelski Max-Planck-Institut fur Informatik Im Stadtwald, 66123 Saarbrucken, Germany fsupratik…
Cited by 6 (4 self) – Add To MetaCart

Model Checking for Timed Logic Processes
by Supratik Mukhopadhyay, Andreas Podelski — 2000 — In Proceedings of the First International Conference on Computational Logic (CL), volume 1861 of LNAI
…Model Checking for Timed Logic Processes Supratik Mukhopadhyay Andreas Podelski Max Planck…
Cited by 3 (3 self) – Add To MetaCart

Solving Set Constraints for Greatest Models
by Witold Charatonik, Andreas Podelski — 1997
…Solving set constraints for greatest models Witold Charatonik Andreas Podelski MPI--I--97…
Cited by 1 (0 self) – Add To MetaCart

Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs
by Javier Esparza, Andreas Podelski — 2000
… Podelski Max-Planck-Institut fur Informatik 66123 Saarbrucken, Germany podelski@(email omitted); Abstract…
Cited by 3 (0 self) – Add To MetaCart

Verification of cryptographic protocols: Tagging enforces termination
by Bruno Blanchet, Andreas Podelski — 2003 — Theoretical Computer Science
…;2 and Andreas Podelski2 1 CNRS, D'epartement d'Informatique 'Ecole Normale Sup'erieure, Paris 2 Max…
Cited by 40 (3 self) – Add To MetaCart

Co-definite Set Constraints
by Witold Charatonik, Andreas Podelski — Proceedings of the 9th International Conference on Rewriting Techniques and Applications, volume 1379 of LNCS
…Co-definite Set Constraints Witold Charatonik Andreas Podelski Max-Planck-Institut fur Informatik…
Cited by 16 (8 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB