2006 |
15 | EE | Miron Abramovici,
Paul Bradley,
Kumar N. Dwarakanath,
Peter Levin,
Gérard Memmi,
Dave Miller:
A reconfigurable design-for-debug infrastructure for SoCs.
DAC 2006: 7-12 |
2001 |
14 | EE | Noel R. Strader,
Gérard Memmi,
Carl Pixley:
Application of Formal Verification to Design Creation and Implementation.
ISQED 2001: 11 |
1994 |
13 | | Li-Tao Chen,
Gérard Memmi,
Pascal Petit,
Patrick Denimal:
Experiment and Performance Evaluation of a Distributed Collaboration System.
MASCOTS 1994: 393-394 |
1993 |
12 | | John Gintell,
John Arnold,
Michael Houde,
Jacek Kruszelnicki,
Roland McKenney,
Gérard Memmi:
Scrutiny: A Collaborative Inspection and Review System.
ESEC 1993: 344-360 |
1989 |
11 | | Younes Souissi,
Gérard Memmi:
Composition of nets via a communication medium.
Applications and Theory of Petri Nets 1989: 457-470 |
1986 |
10 | | Gérard Memmi,
Jacques Vautherin:
Analysing Nets by the Invariant Method.
Advances in Petri Nets 1986: 300-336 |
1985 |
9 | | Gérard Memmi,
Alain Finkel:
An Introduction to Fifo Nets-Monogeneous Nets: A Subclass of Fifo Nets.
Theor. Comput. Sci. 35: 191-214 (1985) |
1984 |
8 | | Jacques Vautherin,
Gérard Memmi:
Computation of flows for unary-predicates/transition-nets.
European Workshop on Applications and Theory in Petri Nets 1984: 455-467 |
1983 |
7 | | Alain Finkel,
Gérard Memmi:
Fifo nets: a new model of parallel computation.
Theoretical Computer Science 1983: 111-121 |
1982 |
6 | | Gérard Memmi:
A Graph Theoretical Porperty for Minimal Deadlock.
European Workshop on Applications and Theory of Petri Nets 1982: 221-228 |
5 | | Gérard Memmi,
Yves Raillard:
Some New Results About the (d, k) Graph Problem.
IEEE Trans. Computers 31(8): 784-791 (1982) |
1981 |
4 | | Gérard Memmi:
Leakage Notion.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 172-177 |
1979 |
3 | | Gérard Memmi:
Notion de Dualité et de Symétrie dans les Réseuaux de Pétri.
Semantics of Concurrent Computation 1979: 91-108 |
1978 |
2 | | Gérard Memmi:
Fuites dans les réseaux de Petri.
ITA 12(2): (1978) |
1975 |
1 | | Gérard Memmi,
Gérard Roucairol:
Linear Algebra in Net Theory.
Advanced Course: Net Theory and Applications 1975: 213-223 |