Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Luka Leroux

Improving Model Checking With Context Modelling

Advances in Software Engineering
2012English

Related publications

Improving Pushdown System Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Advances in Software Engineering
2011English

Model Checking MANETs With Arbitrary Mobility

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Model Checking

1997English

Model Checking Transactional Memory With Spin

2009English

Checking Model-Data Weather Hazard Occurrence Fit in the Context of Climate Change

2011English

Model Checking With Fairness Assumptions Using PAT

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2013English

Model Checking Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy