dblp.uni-trier.dewww.uni-trier.de

Alain Finkel Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
63EEAlain Finkel, Jean Goubault-Larrecq: Forward Analysis for WSTS, Part II: Complete WSTS. ICALP (2) 2009: 188-199
62EEAlain Finkel, Jean Goubault-Larrecq: Forward Analysis for WSTS, Part I: Completions. STACS 2009: 433-444
61EEAlain Finkel, Jean Goubault-Larrecq: Forward analysis for WSTS, Part I: Completions CoRR abs/0902.1587: (2009)
60EEFlorent Bouchy, Alain Finkel, Arnaud Sangnier: Reachability in Timed Counter Systems. Electr. Notes Theor. Comput. Sci. 239: 167-178 (2009)
59EEEmmanuelle Encrenaz, Alain Finkel: Automatic Verification of Counter Systems With Ranking Function. Electr. Notes Theor. Comput. Sci. 239: 85-103 (2009)
2008
58EEAlain Finkel, Arnaud Sangnier: Reversal-Bounded Counter Machines Revisited. MFCS 2008: 323-334
57EEFlorent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals. TIME 2008: 147-155
56EEAlain Finkel, Jérôme Leroux: The convex hull of a regular set of integer vectors is polyhedral and effectively computable CoRR abs/0812.1951: (2008)
55EEFlorent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals CoRR abs/0812.1967: (2008)
54EESébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: acceleration from theory to practice. STTT 10(5): 401-424 (2008)
2006
53EEStéphane Demri, Alain Finkel, Valentin Goranko, Govert van Drimmelen: Towards a Model-Checker for Counter Systems. ATVA 2006: 493-507
52EEAlain Finkel, Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin: On the omega-language expressive power of extended Petri nets. Theor. Comput. Sci. 356(3): 374-386 (2006)
2005
51EESébastien Bardin, Alain Finkel, Jérôme Leroux, Ph. Schnoebelen: Flat Acceleration in Symbolic Model Checking. ATVA 2005: 474-488
50EEAlain 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. 128(2): 87-101 (2005)
49EEChristophe Darlot, Alain Finkel, Laurent Van Begin: About Fast and TReX Accelerations. Electr. Notes Theor. Comput. Sci. 128(6): 87-103 (2005)
48EEGérard Cécé, Alain Finkel: Verification of programs with half-duplex communication. Inf. Comput. 202(2): 166-190 (2005)
47EEAlain Finkel, Jérôme Leroux: The convex hull of a regular set of integer vectors is polyhedral and effectively computable. Inf. Process. Lett. 96(1): 30-35 (2005)
2004
46EESébastien Bardin, Alain Finkel: Composition of Accelerations to Verify Infinite Heterogeneous Systems. ATVA 2004: 248-262
45EEAlain Finkel, Jérôme Leroux: Image Computation in Infinite State Model Checking. CAV 2004: 361-371
44EEAlain Finkel, Jérôme Leroux: Polynomial Time Image Computation with Interval-Definable Counters Systems. SPIN 2004: 182-197
43EESébastien Bardin, Alain Finkel, Jérôme Leroux: FASTer Acceleration of Counter Automata in Practice. TACAS 2004: 576-590
42EEAlain Finkel, Pierre McKenzie, Claudine Picaronny: A well-structured framework for analysing petri net extensions. Inf. Comput. 195(1-2): 1-29 (2004)
2003
41EESébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: Fast Acceleration of Symbolikc Transition Systems. CAV 2003: 118-121
40EEAlain Finkel, S. Purushothaman Iyer, Grégoire Sutre: Well-abstracted transition systems: application to FIFO automata. Inf. Comput. 181(1): 1-31 (2003)
2002
39EEAlain Finkel, Jérôme Leroux: How to Compose Presburger-Accelerations: Applications to Broadcast Protocols. FSTTCS 2002: 145-156
38EEFrédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier Roux, Grégoire Sutre: Verification of Embedded Reactive Fiffo Systems. LATIN 2002: 400-414
37EEAlain 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. 68(6): (2002)
2001
36 Gérard Berry, Hubert Comon, Alain Finkel: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings Springer 2001
35EEAlain Finkel, Ph. Schnoebelen: Well-structured transition systems everywhere! Theor. Comput. Sci. 256(1-2): 63-92 (2001)
2000
34EEAlain Finkel, S. Purushothaman Iyer, Grégoire Sutre: Well-Abstracted Transition Systems. CONCUR 2000: 566-580
33EEAlain Finkel, Grégoire Sutre: An Algorithm Constructing the Semilinear Post* for 2-Dim Reset/Transfer VASS. MFCS 2000: 353-362
32EEAlain Finkel, Grégoire Sutre: Decidability of Reachability Problems for Classes of Two Counters Automata. STACS 2000: 346-357
31EEAhmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper: An efficient automata approach to some problems on context-free grammars. Inf. Process. Lett. 74(5-6): 221-227 (2000)
1999
30EEJavier Esparza, Alain Finkel, Richard Mayr: On the Verification of Broadcast Protocols. LICS 1999: 352-359
29EECatherine Dufourd, Alain Finkel: A Polynomial-Bisimilar Normalization for Reset Petri Nets. Theor. Comput. Sci. 222(1-2): 187-194 (1999)
1998
28EEGrégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez: Effective Recognizability and Model Checking of Reactive Fiffo Automata. AMAST 1998: 106-123
27EECatherine Dufourd, Alain Finkel, Ph. Schnoebelen: Reset Nets Between Decidability and Undecidability. ICALP 1998: 103-115
26EEAlain Finkel, Ph. Schnoebelen: Fundamental Structures in Well-Structured Infinite Transition Systems. LATIN 1998: 102-118
25EEChristophe Collet, Alain Finkel, Rachid Gherbi: CapRe: a Gaze Tracking System in Man-machine Interaction. JACIII 2(3): 77-81 (1998)
1997
24EEGérard Cécé, Alain Finkel: Programs with Quasi-Stable Channels are Effectively Recognizable (Extended Abstract). CAV 1997: 304-315
23EECatherine Dufourd, Alain Finkel: Polynomial-Time Manz-One Reductions for Petri Nets. FSTTCS 1997: 312-326
22EEAlain Finkel, Bernard Willems, Pierre Wolper: A direct symbolic approach to model checking pushdown systems. Electr. Notes Theor. Comput. Sci. 9: (1997)
21EEZakaria Bouziane, Alain Finkel: Cyclic Petri net reachability sets are semi-linear effectively constructible. Electr. Notes Theor. Comput. Sci. 9: (1997)
20EEAlain Finkel, Pierre McKenzie: Verifying Identical Communicating Processes is Undecidable. Theor. Comput. Sci. 174(1-2): 217-230 (1997)
1996
19 Gérard Cécé, Alain Finkel, S. Purushothaman Iyer: Unreliable Channels are Easier to Verify Than Perfect Channels. Inf. Comput. 124(1): 20-31 (1996)
18EEAlain Finkel, Isabelle Tellier: A Polynomial Algorithm for the Membership Problem with Categorial Grammars. Theor. Comput. Sci. 164(1&2): 207-221 (1996)
1994
17EEGérard Cécé, Alain Finkel, S. Purushothaman Iyer: Duplication, Insertion and Lossiness Errors in Unreliable Communication Channels. SIGSOFT FSE 1994: 35-43
16 Alain Finkel: Decidability of the Termination Problem for Completely Specified Protocols. Distributed Computing 7(3): 129-135 (1994)
15 Alain Finkel, Laure Petrucci: Composition/décomposition de réseaux de petri et de leurs graphes de couverture. ITA 28(2): 73-124 (1994)
1993
14 Patrice Enjalbert, Alain Finkel, Klaus W. Wagner: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings Springer 1993
1992
13 Alain Finkel, Matthias Jantzen: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings Springer 1992
1991
12EEAlain Finkel: The Minimal Coverability Graph for Petri Nets. Applications and Theory of Petri Nets 1991: 210-243
11EEAlain Finkel, Laure Petrucci: Avoiding State Exposion by Composition of Minimal Covering Graphs. CAV 1991: 169-180
1990
10 Alain Finkel: Reduction and covering of infinite reachability trees Inf. Comput. 89(2): 144-179 (1990)
1987
9EEAlain Finkel, Louis E. Rosier: A Survey on the Decidability Questions for Classes of FIFO Nets. European Workshop on Applications and Theory of Petri Nets 1987: 106-132
8EEAlain Finkel: A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems. ICALP 1987: 499-508
7 Alain Finkel, Annie Choquet: Fifo Nets Without Order Deadlock. Acta Inf. 25(1): 15-36 (1987)
1986
6 Annie Choquet, Alain Finkel: Applications of residues for the analysis of parallel systems communicating by fifo channels. Bulletin of the EATCS 30: 44-56 (1986)
1985
5 Gérard Memmi, Alain Finkel: An Introduction to Fifo Nets-Monogeneous Nets: A Subclass of Fifo Nets. Theor. Comput. Sci. 35: 191-214 (1985)
4 Alain Finkel: Une Généralisation des Théorème de Higman et de Simon aux Mots Infinis. Theor. Comput. Sci. 38: 137-142 (1985)
1984
3EEAlain Finkel: Blocage et vivacité dans les réseaux a pile-file. STACS 1984: 151-162
2 Alain Finkel: Petri Nets and monogenous FIFO nets. Bulletin of the EATCS 23: 28-30 (1984)
1983
1 Alain Finkel, Gérard Memmi: Fifo nets: a new model of parallel computation. Theoretical Computer Science 1983: 111-121

Coauthor Index

1Sébastien Bardin [41] [43] [46] [51] [54]
2Laurent Van Begin [37] [49] [50] [52]
3Gérard Berry [36]
4Ahmed Bouajjani [31]
5Florent Bouchy [55] [57] [60]
6Zakaria Bouziane [21]
7Franck Cassez [28] [38]
8Gérard Cécé [17] [19] [24] [48]
9Annie Choquet [6] [7]
10Christophe Collet [25]
11Hubert Comon-Lundh (Hubert Comon) [36]
12Christophe Darlot [49]
13Stéphane Demri [53]
14Govert van Drimmelen [53]
15Catherine Dufourd [23] [27] [29]
16Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz) [59]
17Patrice Enjalbert [14]
18Javier Esparza [30] [31]
19Gilles Geeraerts [50] [52]
20Rachid Gherbi [25]
21Valentin Goranko [53]
22Jean Goubault-Larrecq (Jean Goubault) [61] [62] [63]
23Frédéric Herbreteau [38]
24S. Purushothaman Iyer (S. Purushothaman) [17] [19] [34] [40]
25Matthias Jantzen [13]
26Jérôme Leroux [39] [41] [43] [44] [45] [47] [51] [54] [55] [56] [57]
27Oded Maler [31]
28Richard Mayr [30]
29Pierre McKenzie [20] [42]
30Gérard Memmi [1] [5]
31Laure Petrucci (Laure Petrucci-Dauchy) [11] [15] [41] [54]
32Claudine Picaronny [42]
33Jean-François Raskin [37] [50] [52]
34Louis E. Rosier [9]
35Peter Rossmanith [31]
36Olivier H. Roux (Olivier Roux) [28] [38]
37Mathias Samuelides [37]
38Arnaud Sangnier [58] [60]
39Ph. Schnoebelen [26] [27] [35] [51]
40Grégoire Sutre [28] [32] [33] [34] [38] [40]
41Isabelle Tellier [18]
42Klaus W. Wagner [14]
43Bernard Willems [22] [31]
44Pierre Wolper [22] [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)