×

zbMATH — the first resource for mathematics

Finkel, Alain

Compute Distance To:
Author ID: finkel.alain Recent zbMATH articles by "Finkel, Alain"
Published as: Finkel, Alain; Finkel, A.
Documents Indexed: 84 Publications since 1982, including 5 Books

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 465 times in 181 Documents Cited by Year
Well-structured transition systems everywhere! Zbl 0973.68170
Finkel, A.; Schnoebelen, P.
112
2001
Reset nets between decidability and undecidability. Zbl 0909.68124
Dufourd, C.; Finkel, A.; Schnoebelen, Ph.
41
1998
How to compose Presburger-accelerations: Applications to broadcast protocols. Zbl 1027.68616
Finkel, Alain; Leroux, Jérôme
25
2002
Unreliable channels are easier to verify than perfect channels. Zbl 0844.68035
Cécé, Gérard; Finkel, Alain; Iyer, S. Purushothaman
23
1996
A direct symbolic approach to model checking pushdown systems. Extended abstract. Zbl 0907.68126
Finkel, Alain; Willems, Bernard; Wolper, Pierre
22
1997
Reduction and covering of infinite reachability trees. Zbl 0753.68073
Finkel, Alain
19
1990
Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029
Bérard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, Ph.; McKenzie, P.
19
2001
Forward analysis for WSTS. I: Completions. Zbl 1236.68183
Finkel, Alain; Goubault-Larrecq, Jean
17
2009
A well-structured framework for analysing Petri net extensions. Zbl 1101.68696
Finkel, Alain; McKenzie, Pierre; Picaronny, Claudine
14
2004
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352
Finkel, Alain; Goubault-Larrecq, Jean
12
2009
Flat acceleration in symbolic model checking. Zbl 1170.68507
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme; Schnoebelen, Philippe
12
2005
Verification of programs with half-duplex communication. Zbl 1101.68676
Cécé, Gérard; Finkel, Alain
11
2005
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
9
2010
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
8
2000
Towards a model-checker for counter systems. Zbl 1161.68563
Demri, S.; Finkel, A.; Goranko, V.; van Drimmelen, G.
8
2006
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329
Finkel, Alain; Goubault-Larrecq, Jean
8
2012
An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets. Zbl 0566.68054
Memmi, G.; Finkel, A.
8
1985
Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095
Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre
7
2015
A generalization of the procedure of Karp and Miller to well structured transition systems. Zbl 0633.68052
Finkel, Alain
6
1987
Reversal-bounded counter machines revisited. Zbl 1173.68562
Finkel, Alain; Sangnier, Arnaud
6
2008
Monotonic extensions of Petri nets: forward and backward search revisited. Zbl 1270.68214
Finkel, A.; Raskin, J.-F.; Samuelides, M.; van Begin, L.
6
2003
Verifying identical communicating processes is undecidable. Zbl 0902.68127
Finkel, Alain; McKenzie, Pierre
5
1997
Bounded Parikh automata. Zbl 1285.68082
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
5
2012
Affine Parikh automata. Zbl 1279.68136
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
5
2012
Cyclic Petri net reachability sets are semi-linear effectively constructible. Zbl 0907.68131
Bouziane, Zakaria; Finkel, Alain
3
1997
Towards model-checking programs with lists. Zbl 1258.68094
Finkel, Alain; Lozes, Étienne; Sangnier, Arnaud
3
2009
Forward analysis and model checking for trace bounded WSTS. Zbl 1343.68162
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
3
2016
Reachability in register machines with polynomial updates. Zbl 1398.68160
Finkel, Alain; Göller, Stefan; Haase, Christoph
3
2013
Well behaved transition systems. Zbl 1459.68138
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
3
2017
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1092.68066
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; van Begin, L.
3
2006
Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092
Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire
3
2003
Faster acceleration of counter automata in practice. Zbl 1126.68452
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme
3
2004
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
Handling infinitely branching WSTS. Zbl 1382.68149
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
2
2014
Unambiguous constrained automata. Zbl 1293.68182
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
2
2013
Mixing coverability and reachability to analyze VASS with one zero-test. Zbl 1274.68230
Finkel, Alain; Sangnier, Arnaud
2
2010
Extending the Rackoff technique to affine nets. Zbl 1354.68190
Bonnet, Rémi; Finkel, Alain; Praveen, M.
2
2012
Fifo nets without order deadlock. Zbl 0614.68050
Finkel, Alain; Choquet, Annie
2
1988
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1272.68302
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
2
2005
Handling infinitely branching well-structured transition systems. Zbl 1383.68054
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
2
2018
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
Synchronizability of communicating finite state machines is not decidable. Zbl 1442.68138
Finkel, Alain; Lozes, Etienne
1
2017
STACS 92. Theoretical aspects of computer science. Proceedings of the 9th annual symposium, Cachan, France, February 13–15, 1992. Zbl 0904.68001
Finkel, A. (ed.); Jantzen, M. (ed.)
1
1992
A polynomial algorithm for the membership problem with categorial grammars. Zbl 0871.68118
Finkel, Alain; Tellier, Isabelle
1
1996
Automatic verification of counter systems with ranking function. Zbl 1347.68223
Encrenaz, Emmanuelle; Finkel, Alain
1
2009
Reachability in timed counter systems. Zbl 1347.68255
Bouchy, Florent; Finkel, Alain; Sangnier, Arnaud
1
2009
The convex hull of a regular set of integer vectors is polyhedral and effectively computable. Zbl 1184.68634
Finkel, Alain; Leroux, Jérôme
1
2005
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
1
2011
About Fast and TReX accelerations. Zbl 1272.68238
Darlot, Christophe; Finkel, Alain; Van Begin, Laurent
1
2005
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010
A survey on the decidability questions for classes of fifo nets. Zbl 0681.68079
Finkel, A.; Rosier, Louis E.
1
1988
Une généralisation des théorèmes de Higman et de Simon aux mots infinis. Zbl 0572.68065
Finkel, A.
1
1985
Synchronization of a Petri net by a finite automaton. Zbl 0582.68029
Finkel, A.
1
1983
An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522
Finkel, A.; Sutre, G.
1
2000
FIFO nets: A new model of parallel computation. Zbl 0495.68049
Finkel, A.; Memmi, G.
1
1982
Applications of residues for the analysis of parallel systems communicating by fifo channels. Zbl 1023.68636
Choquet, Annie; Finkel, Alain
1
1986
Handling infinitely branching well-structured transition systems. Zbl 1383.68054
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
2
2018
Well behaved transition systems. Zbl 1459.68138
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
3
2017
Synchronizability of communicating finite state machines is not decidable. Zbl 1442.68138
Finkel, Alain; Lozes, Etienne
1
2017
Forward analysis and model checking for trace bounded WSTS. Zbl 1343.68162
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
3
2016
Reachability in two-dimensional vector addition systems with states is PSPACE-complete. Zbl 1401.68095
Blondin, Michael; Finkel, Alain; Goller, Stefan; Haase, Christoph; McKenzie, Pierre
7
2015
Handling infinitely branching WSTS. Zbl 1382.68149
Blondin, Michael; Finkel, Alain; McKenzie, Pierre
2
2014
Reachability in register machines with polynomial updates. Zbl 1398.68160
Finkel, Alain; Göller, Stefan; Haase, Christoph
3
2013
Unambiguous constrained automata. Zbl 1293.68182
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
2
2013
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68329
Finkel, Alain; Goubault-Larrecq, Jean
8
2012
Bounded Parikh automata. Zbl 1285.68082
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
5
2012
Affine Parikh automata. Zbl 1279.68136
Cadilhac, Michaël; Finkel, Alain; McKenzie, Pierre
5
2012
Model checking vector addition systems with one zero-test. Zbl 1242.68196
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
2
2012
Extending the Rackoff technique to affine nets. Zbl 1354.68190
Bonnet, Rémi; Finkel, Alain; Praveen, M.
2
2012
Forward analysis and model checking for trace bounded WSTS. Zbl 1330.68197
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain
1
2011
Model-checking \(\mathrm{CTL}^*\) over flat Presburger counter systems. Zbl 1242.68157
Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert
9
2010
Mixing coverability and reachability to analyze VASS with one zero-test. Zbl 1274.68230
Finkel, Alain; Sangnier, Arnaud
2
2010
Place-boundedness for vector addition systems with one zero-test. Zbl 1245.68131
Bonnet, Rémi; Finkel, Alain; Leroux, Jérôme; Zeitoun, Marc
1
2010
Forward analysis for WSTS. I: Completions. Zbl 1236.68183
Finkel, Alain; Goubault-Larrecq, Jean
17
2009
Forward analysis for WSTS. II: Complete WSTS. Zbl 1248.68352
Finkel, Alain; Goubault-Larrecq, Jean
12
2009
Towards model-checking programs with lists. Zbl 1258.68094
Finkel, Alain; Lozes, Étienne; Sangnier, Arnaud
3
2009
Automatic verification of counter systems with ranking function. Zbl 1347.68223
Encrenaz, Emmanuelle; Finkel, Alain
1
2009
Reachability in timed counter systems. Zbl 1347.68255
Bouchy, Florent; Finkel, Alain; Sangnier, Arnaud
1
2009
Reversal-bounded counter machines revisited. Zbl 1173.68562
Finkel, Alain; Sangnier, Arnaud
6
2008
Towards a model-checker for counter systems. Zbl 1161.68563
Demri, S.; Finkel, A.; Goranko, V.; van Drimmelen, G.
8
2006
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1092.68066
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; van Begin, L.
3
2006
Flat acceleration in symbolic model checking. Zbl 1170.68507
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme; Schnoebelen, Philippe
12
2005
Verification of programs with half-duplex communication. Zbl 1101.68676
Cécé, Gérard; Finkel, Alain
11
2005
On the \(\omega\)-language expressive power of extended Petri nets. Zbl 1272.68302
Finkel, A.; Geeraerts, G.; Raskin, J.-F.; Van Begin, L.
2
2005
The convex hull of a regular set of integer vectors is polyhedral and effectively computable. Zbl 1184.68634
Finkel, Alain; Leroux, Jérôme
1
2005
About Fast and TReX accelerations. Zbl 1272.68238
Darlot, Christophe; Finkel, Alain; Van Begin, Laurent
1
2005
A well-structured framework for analysing Petri net extensions. Zbl 1101.68696
Finkel, Alain; McKenzie, Pierre; Picaronny, Claudine
14
2004
Faster acceleration of counter automata in practice. Zbl 1126.68452
Bardin, Sébastien; Finkel, Alain; Leroux, Jérôme
3
2004
Monotonic extensions of Petri nets: forward and backward search revisited. Zbl 1270.68214
Finkel, A.; Raskin, J.-F.; Samuelides, M.; van Begin, L.
6
2003
Well-abstracted transition systems: Application to FIFO automata. Zbl 1054.68092
Finkel, Alain; Iyer, S. Purushothaman; Sutre, Grégoire
3
2003
How to compose Presburger-accelerations: Applications to broadcast protocols. Zbl 1027.68616
Finkel, Alain; Leroux, Jérôme
25
2002
Well-structured transition systems everywhere! Zbl 0973.68170
Finkel, A.; Schnoebelen, P.
112
2001
Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029
Bérard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, Ph.; McKenzie, P.
19
2001
Decidability of reachability problems for classes of two counters automata. Zbl 0953.03050
Finkel, Alain; Sutre, Grégoire
8
2000
An efficient automata approach to some problems on context-free grammars. Zbl 1137.68418
Bouajjani, Ahmed; Esparza, Javier; Finkel, Alain; Maler, Oded; Rossmanith, Peter; Willems, Bernard; Wolper, Pierre
2
2000
An algorithm constructing the semilinear post* for 2-dim reset/transfer VASS (extended abstract). Zbl 0996.68522
Finkel, A.; Sutre, G.
1
2000
Reset nets between decidability and undecidability. Zbl 0909.68124
Dufourd, C.; Finkel, A.; Schnoebelen, Ph.
41
1998
A direct symbolic approach to model checking pushdown systems. Extended abstract. Zbl 0907.68126
Finkel, Alain; Willems, Bernard; Wolper, Pierre
22
1997
Verifying identical communicating processes is undecidable. Zbl 0902.68127
Finkel, Alain; McKenzie, Pierre
5
1997
Cyclic Petri net reachability sets are semi-linear effectively constructible. Zbl 0907.68131
Bouziane, Zakaria; Finkel, Alain
3
1997
Unreliable channels are easier to verify than perfect channels. Zbl 0844.68035
Cécé, Gérard; Finkel, Alain; Iyer, S. Purushothaman
23
1996
A polynomial algorithm for the membership problem with categorial grammars. Zbl 0871.68118
Finkel, Alain; Tellier, Isabelle
1
1996
STACS 92. Theoretical aspects of computer science. Proceedings of the 9th annual symposium, Cachan, France, February 13–15, 1992. Zbl 0904.68001
Finkel, A.; Jantzen, M.
1
1992
Reduction and covering of infinite reachability trees. Zbl 0753.68073
Finkel, Alain
19
1990
Fifo nets without order deadlock. Zbl 0614.68050
Finkel, Alain; Choquet, Annie
2
1988
A survey on the decidability questions for classes of fifo nets. Zbl 0681.68079
Finkel, A.; Rosier, Louis E.
1
1988
A generalization of the procedure of Karp and Miller to well structured transition systems. Zbl 0633.68052
Finkel, Alain
6
1987
Applications of residues for the analysis of parallel systems communicating by fifo channels. Zbl 1023.68636
Choquet, Annie; Finkel, Alain
1
1986
An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets. Zbl 0566.68054
Memmi, G.; Finkel, A.
8
1985
Une généralisation des théorèmes de Higman et de Simon aux mots infinis. Zbl 0572.68065
Finkel, A.
1
1985
Synchronization of a Petri net by a finite automaton. Zbl 0582.68029
Finkel, A.
1
1983
FIFO nets: A new model of parallel computation. Zbl 0495.68049
Finkel, A.; Memmi, G.
1
1982
all top 5

Cited by 281 Authors

20 Finkel, Alain
13 Demri, Stéphane P.
7 Abdulla, Parosh Aziz
6 Ibarra, Oscar H.
6 Van Begin, Laurent
5 Bultan, Tevfik
5 McKenzie, Pierre
5 Schmitz, Sylvain
5 Schnoebelen, Philippe
4 Atig, Mohamed Faouzi
4 Bouajjani, Ahmed
4 Dang, Zhe
4 Esparza, Javier
4 Goubault-Larrecq, Jean
4 Hague, Matthew
4 Kröning, Daniel
4 Lazić, Ranko
4 Leroux, Jérôme
4 Raskin, Jean-François
4 Sangnier, Arnaud
3 Blondin, Michael
3 Bozzelli, Laura
3 Cadilhac, Michaël
3 Geeraerts, Gilles
3 Habermehl, Peter
3 Jonsson, Bengt
3 Laroussinie, François
3 Lasota, Sławomir
3 Majumdar, Rupak
3 McQuillan, Ian
3 Rosa-Velardo, Fernando
3 Totzke, Patrick
3 Touili, Tayssir
3 Tuosto, Emilio
3 Zavattaro, Gianluigi
2 Akshay, S.
2 Alberti, Francesco
2 Bartoletti, Massimo
2 Basu, Samik
2 Bérard, Béatrice
2 Bouchy, Florent
2 Bouyer, Patricia
2 Bravetti, Mario
2 Carbone, Marco
2 Chakraborty, Supratik
2 Chambart, Pierre
2 Chatterjee, Krishnendu
2 Delzanno, Giorgio
2 Dhar, Amit Kumar
2 Ganty, Pierre
2 Gascon, Régis
2 Ghilardi, Silvio
2 Halfon, Simon
2 Henzinger, Thomas A.
2 Hofman, Piotr
2 Iosif, Radu
2 Jančar, Petr
2 Jard, Claude
2 Jeannet, Bertrand
2 Karandikar, Prateek
2 Kleijn, Jetty H. C. M.
2 Köcher, Chris
2 Koutny, Maciej
2 Kucera, Antonin
2 Kuske, Dietrich
2 Lange, Julien
2 Legay, Axel
2 Lin, Anthony Widjaja
2 Markey, Nicolas
2 Massazza, Paolo
2 Meyer, Roland
2 Muskalla, Sebastian
2 Ouaknine, Joel O.
2 Picaronny, Claudine
2 Pietkiewicz-Koutny, Marta
2 Pinchinat, Sophie
2 Rabinovich, Alexander
2 Rümmer, Philipp
2 Schrammel, Peter
2 Seidl, Helmut
2 Sharygina, Natasha
2 Su, Jianwen
2 Sutre, Grégoire
2 ter Hofstede, Arthur H. M.
2 van der Aalst, Wil M. P.
2 Verbeek, H. M. W.
2 Weissenbacher, Georg
2 Wolper, Pierre
2 Worrell, James B.
2 Wynn, Moe Thandar
2 Yoshida, Nobuko
2 Zunino, Roberto
1 Acciai, Lucia
1 Aceto, Luca
1 Akroun, Lakhdar
1 Al-Bataineh, Omar
1 Alechina, Natasha
1 Almagor, Shaull
1 Alur, Rajeev
1 Arkoudas, Konstantine
...and 181 more Authors

Citations by Year