|
Search the dblp DataBase
Marc Frappier:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis
Investigating Discrete Controllability with Kleene Algebra. [Citation Graph (0, 0)][DBLP] RelMiCS, 2003, pp:74-85 [Conf]
- Hassan B. Diab, Marc Frappier, Richard St.-Denis
Formalizing COSMIC-FFP Using ROOM. [Citation Graph (0, 0)][DBLP] AICCSA, 2001, pp:312-0 [Conf]
- Marc Frappier, Ali Mili, Jules Desharnais
Defining and detecting feature interactions. [Citation Graph (0, 0)][DBLP] Algorithmic Languages and Calculi, 1997, pp:212-239 [Conf]
- Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. [Citation Graph (0, 0)][DBLP] ATVA, 2004, pp:487-490 [Conf]
- Frédéric Gervais, Marc Frappier, Régine Laleau
Refinement of eb3 Process Patterns into B Specifications. [Citation Graph (0, 0)][DBLP] B, 2007, pp:201-215 [Conf]
- Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 1997, pp:310-326 [Conf]
- Marc Frappier, Richard St.-Denis
Towards a Computer-Aided Design of Reactive Systems. [Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:421-436 [Conf]
- Marc Frappier, Ali Mili, Jules Desharnais
Detecting Feature Interactions on Relational Specifications. [Citation Graph (0, 0)][DBLP] FIW, 1997, pp:123-137 [Conf]
- Marc Frappier, Mario Richard
SMP: A Process-Driven Approach to Project Management. [Citation Graph (0, 0)][DBLP] HICSS, 2004, pp:- [Conf]
- Marc Frappier, Richard St.-Denis
A Specification Method for Cleanroom's Black Box Description. [Citation Graph (0, 0)][DBLP] HICSS (6), 1998, pp:112-121 [Conf]
- Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. [Citation Graph (0, 0)][DBLP] ICEIS (3), 2006, pp:44-51 [Conf]
- Hassan B. Diab, Marc Frappier, Richard St.-Denis
A Formal Definition of Function Points for Automated Measurement of B Specifications. [Citation Graph (0, 0)][DBLP] ICFEM, 2002, pp:483-494 [Conf]
- Frédéric Gervais, Marc Frappier, Régine Laleau
Synthesizing B Specifications from EB3 Attribute Definitions. [Citation Graph (0, 0)][DBLP] IFM, 2005, pp:207-226 [Conf]
- Lamia Labed Jilani, Jules Desharnais, Marc Frappier, Rym Mili, Ali Mili
Retrieving Software Components that Minimize Adaptation Effort. [Citation Graph (0, 0)][DBLP] ASE, 1997, pp:255-0 [Conf]
- Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
Mathematical Foundations for Program Transformations. [Citation Graph (0, 0)][DBLP] LOPSTR, 1998, pp:319-321 [Conf]
- Marc Frappier, Ali Mili, Jules Desharnais
Program Construction by Parts. [Citation Graph (0, 0)][DBLP] MPC, 1995, pp:257-281 [Conf]
- Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
How to Verify Dynamic Properties of Information Systems. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:416-425 [Conf]
- Frédéric Gervais, Marc Frappier, Régine Laleau
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. [Citation Graph (0, 0)][DBLP] SEFM, 2005, pp:117-126 [Conf]
- L. Ben Arfa, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce
A process for verification based inspections. [Citation Graph (0, 0)][DBLP] SEKE, 1994, pp:100-107 [Conf]
- Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili
A Calculus of Program Modifications. [Citation Graph (0, 0)][DBLP] SSR, 1997, pp:157-168 [Conf]
- Benoît Fraikin, Marc Frappier
Efficient Interpretation of Large Quantifications in a Process Algebra. [Citation Graph (0, 0)][DBLP] MSVVEIS, 2006, pp:189-192 [Conf]
- Frédéric Gervais, Marc Frappier, Régine Laleau
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? [Citation Graph (0, 0)][DBLP] MSVVEIS, 2005, pp:83-88 [Conf]
- Marc Frappier, Régine Laleau
Proving Event Ordering Properties for Information Systems. [Citation Graph (0, 0)][DBLP] ZB, 2003, pp:421-436 [Conf]
- Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
Synthesizing Information Systems: the APIS Project. [Citation Graph (0, 0)][DBLP] RCIS, 2007, pp:73-84 [Conf]
- Marc Frappier, Ali Mili, Jules Desharnais
Unifying Program Construction and Modification. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 1998, v:6, n:2, pp:317-340 [Journal]
- Hassan B. Diab, Fouad Koukane, Marc Frappier, Richard St.-Denis
mucROSE: automated measurement of COSMIC-FFP for Rational Rose RealTime. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2005, v:47, n:3, pp:151-166 [Journal]
- Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull
Relational methods in computer science - Preface. [Citation Graph (0, 0)][DBLP] Inf. Sci., 2001, v:139, n:3-4, pp:165-166 [Journal]
- Rahma Ben Ayed, Jules Desharnais, Marc Frappier, Ali Mili
A calculus of program adaptation and its applications. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2000, v:38, n:1-3, pp:73-124 [Journal]
- Marc Frappier, Ali Mili, Jules Desharnais
A Relational Calculus for Program Construction by Parts. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1996, v:26, n:1-3, pp:237-254 [Journal]
- Benoît Fraikin, Marc Frappier, Régine Laleau
State-based versus event-based specifications for information systems: a comparison of B and eb3. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2005, v:4, n:3, pp:236-257 [Journal]
- Marc Frappier, Richard St.-Denis
EB 3: an entity-based black-box specification method for information systems. [Citation Graph (0, 0)][DBLP] Software and System Modeling, 2003, v:2, n:2, pp:134-149 [Journal]
- Rym Mili, Jules Desharnais, Marc Frappier, Ali Mili
Semantic distance between specifications. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2000, v:247, n:1-2, pp:257-276 [Journal]
- Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
Integration of Sequential Scenarios. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1998, v:24, n:9, pp:695-708 [Journal]
- Benoît Fraikin, Marc Frappier
Efficient Symbolic Execution of Large Quantifications in a Process Algebra. [Citation Graph (0, 0)][DBLP] ICFEM, 2007, pp:327-344 [Conf]
- Henry Balen, James Lapalme, Marc Frappier, Kevin P. Tyson
Domain specific languages: another silver bullet? [Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2007, pp:1024-1025 [Conf]
Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. [Citation Graph (, )][DBLP]
Modélisation de politiques de sécurité à laide dune algèbre de processus. [Citation Graph (, )][DBLP]
Formal Modeling for Deploying Improvement and Innovation in Information Technology. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.305secs
|