#### Filter Results:

- Full text PDF available (89)

#### Publication Year

1983

2017

- This year (2)
- Last 5 years (23)
- Last 10 years (48)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Alain Finkel, Philippe Schnoebelen
- Theor. Comput. Sci.
- 2001

Well-structured transition systems (WSTS's) are a general class of innnite state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with the transitions. In this article, we provide an extensive treatment of the WSTS idea and show several new results. Our improved deenitions allow many… (More)

- Javier Esparza, Alain Finkel, Richard Mayr
- LICS
- 1999

We analyze the model-checking problems for safety and liveness properties in parameterized broadcast protocols, a model introduced in [5]. We show that the procedure suggested in [5] for safety properties may not terminate, whereas termination is guaranteed for the procedure of [1] based on upward closed sets. We show that the model-checking problem for… (More)

- Alain Finkel, Jean Goubault-Larrecq
- STACS
- 2009

Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute a finite representation of the set of successors of the downward closure of a state, is harder: Until now, the theoretical framework for manipulating downward-closed sets was… (More)

- Alain Finkel, Bernard Willems, Pierre Wolper
- Electr. Notes Theor. Comput. Sci.
- 1997

This paper gives a simple and direct algorithm for computing the always regular set of reachable states of a pushdown system. It then exploits this algorithm for obtaining model checking algorithms for linear-time temporal logic as well as for the logic CTL. For the latter, a new technical tool is introduced: pushdown automata with transitions conditioned… (More)

- Alain Finkel, Arnaud Sangnier
- MFCS
- 2008

We extend the class of reversal-bounded counter machines by authorizing a finite number of alternations between increasing and decreasing mode over a given bound. We prove that extended reversal-bounded counter machines also have effective semi-linear reachability sets. We also prove that the property of being reversal-bounded is undecidable in general even… (More)

- Gérard Cécé, Alain Finkel, S. Purushothaman Iyer
- Inf. Comput.
- 1996

- Bernard Boigelot, Daniel Ribbens, Pascal Gribomont, Pierre-Yves Schobbens, Alain Finkel
- 1998

- W F Wonderlin, A Finkel, R J French
- Biophysical journal
- 1990

We describe two enhancements of the planar bilayer recording method which enable low-noise recordings of single-channel currents activated by voltage steps in planar bilayers formed on apertures in partitions separating two open chambers. First, we have refined a simple and effective procedure for making small bilayer apertures (25-80 micrograms diam) in… (More)

- Alain Finkel
- Applications and Theory of Petri Nets
- 1991