The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marc Frappier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Hassan B. Diab, Marc Frappier, Richard St.-Denis
    Formalizing COSMIC-FFP Using ROOM. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2001, pp:312-0 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Marc Frappier, Richard St.-Denis
    Towards a Computer-Aided Design of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:421-436 [Conf]
  8. Marc Frappier, Ali Mili, Jules Desharnais
    Detecting Feature Interactions on Relational Specifications. [Citation Graph (0, 0)][DBLP]
    FIW, 1997, pp:123-137 [Conf]
  9. Marc Frappier, Mario Richard
    SMP: A Process-Driven Approach to Project Management. [Citation Graph (0, 0)][DBLP]
    HICSS, 2004, pp:- [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. Marc Frappier, Ali Mili, Jules Desharnais
    Program Construction by Parts. [Citation Graph (0, 0)][DBLP]
    MPC, 1995, pp:257-281 [Conf]
  17. 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]
  18. 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]
  19. 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]
  20. Rym Mili, Marc Frappier, Jules Desharnais, Ali Mili
    A Calculus of Program Modifications. [Citation Graph (0, 0)][DBLP]
    SSR, 1997, pp:157-168 [Conf]
  21. 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]
  22. 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]
  23. Marc Frappier, Régine Laleau
    Proving Event Ordering Properties for Information Systems. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:421-436 [Conf]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]

  36. Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. [Citation Graph (, )][DBLP]


  37. Modélisation de politiques de sécurité à l’aide d’une algèbre de processus. [Citation Graph (, )][DBLP]


  38. Formal Modeling for Deploying Improvement and Innovation in Information Technology. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002