Tayssir Touili

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Mining Malware Specifications through Static Reachability Analysis.

[BibT_eX]

[DOI]

Hugo Daniel Macedo

Proceedings of the Computer Security - ESORICS 2013, 2013

Model Checking Dynamic Pushdown Networks.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Widening techniques for regular tree model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

Computing transitive closures of hedge transformations.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2012

Preface.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2012

Pushdown Model Checking for Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

PuMoC: a CTL model-checker for sequential programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Efficient Malware Detection Using Model-Checking.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

2011

Efficient CTL Model-Checking for Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2009

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism.

[BibT_eX]

[DOI]

Mihaela Sighireanu

Proceedings of the Joint Proceedings of the 8th, 2009

Verifying Multithreaded Recursive Programs with Integer Variables.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 8th, 2009

Verifying Parallel Programs with Dynamic Communication Structures.

[BibT_eX]

[DOI]

Mohamed Faouzi Atig

Proceedings of the Implementation and Application of Automata, 2009

A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2009

Constrained Reachability of Process Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2009

2008

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Applications of Automata, 2008

Interprocedural Analysis of Concurrent Programs Under a Context Bound.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Analyzing Asynchronous Programs with Preemption.

[BibT_eX]

[DOI]

Mohamed Faouzi Atig

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2008

On the Reachability Analysis of Acyclic Networks of Pushdown Systems.

[BibT_eX]

[DOI]

Mohamed Faouzi Atig

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Abstract Error Projection.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 14th International Symposium, 2007

Spade: Verification of Multithreaded Dynamic and Recursive Programs.

[BibT_eX]

[DOI]

Gaël Patin

Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Attenuation Regulation as a Term Rewriting System.

[BibT_eX]

[DOI]

Eugene Asarin

Thierry Cachat

Alexander V. Seliverstov

Vassily A. Lyubetsky

Proceedings of the Algebraic Biology, Second International Conference, 2007

2006

On Symbolic Verification of Weakly Extended PAD.

[BibT_eX]

[DOI]

Jan Strejcek

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

Verifying Concurrent Message-Passing C Programs with Recursive Calls.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Regular Hedge Model Checking.

[BibT_eX]

[DOI]

Julien d'Orso

Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005

Dealing with Communication for Dynamic Multithreaded Recursive Programs.

[BibT_eX]

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

On Computing Reachability Sets of Process Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the Term Rewriting and Applications, 16th International Conference, 2005

State/Event Software Verification for Branching-Time Specifications.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems.

[BibT_eX]

[DOI]

Markus Müller-Olm

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Reachability Analysis of Synchronized PA Systems.

[BibT_eX]

[DOI]

Javier Esparza

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Verification by Network Decomposition.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Analyse symbolique de systèmes infinis basée sur les automates: Application à la vérification de systèmes paramétrés et dynamiques.

[BibT_eX]

[DOI]

PhD thesis, 2003

A generic approach to the static analysis of concurrent programs with procedures.

[BibT_eX]

[DOI]

Javier Esparza

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

Reachability Analysis of Process Rewrite Systems.

[BibT_eX]

[DOI]

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

2002

Extrapolating Tree Transformations.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Regular Model Checking using Widening Techniques.

[BibT_eX]

[DOI]

Proceedings of the Verification of Parameterized Systems, 2001

Permutation Rewriting and Algorithmic Verification.

[BibT_eX]

[DOI]

Anca Muscholl