|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
A classification of the expressive power of well-structured transition systems.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Laurent Van Begin |
On the verification of membrane systems with dynamic structure. |
Natural Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the Efficient Computation of the Minimal Coverability Set of Petri Nets. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents. |
Technique et Science Informatiques |
2009 |
DBLP BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. |
LATA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Massart, Cédric Meuter, Laurent Van Begin |
On the complexity of partial order trace model checking. |
Inf. Process. Lett. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Delzanno, Laurent Van Begin |
A Biologically Inspired Model with Fusion and Clonation of Membranes. |
UC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
On the Qualitative Analysis of Conformon P Systems. |
Workshop on Membrane Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Well-structured languages. |
Acta Inf. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Kalyon, Thierry Massart, Cédric Meuter, Laurent Van Begin |
Testing Distributed Systems Through Symbolic Model Checking. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
global property, model checking of traces, trace checking, testing, asynchronous distributed systems |
| 1 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the Efficient Computation of the Minimal Coverability Set for Petri Nets. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
Comparing the Expressive Power of Well-Structured Transition Systems. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
well-structured systems, language theory, Expressiveness |
| 1 | Giorgio Delzanno, Laurent Van Begin |
On the Dynamics of PB Systems with Volatile Membranes. |
Workshop on Membrane Computing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond R. Devillers, Laurent Van Begin |
Boundedness undecidability for synchronized nets. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the omega-language expressive power of extended Petri nets. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS. |
J. Comput. Syst. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Ganty, Jean-François Raskin, Laurent Van Begin |
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
On the omega-language Expressive Power of Extended Petri Nets. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Mathias Samuelides, Laurent Van Begin |
Games for Counting Abstractions. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Darlot, Alain Finkel, Laurent Van Begin |
About Fast and TReX Accelerations. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Expand, Enlarge and Check... Made Efficient. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Laurent Van Begin |
Petri Nets with Non-blocking Arcs are Difficult to Analyze. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Covering sharing trees: a compact data structure for parameterized verification. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Efficient data structures, Heuristics, Static analysis, Constraints, Symbolic model checking, Infinite-state systems |
| 1 | Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin |
Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin |
Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Towards the Automated Verification of Multithreaded Java Programs. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin |
Attacking Symbolic State Explosion. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")