The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Didier Buchs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Didier Buchs, Stanislav Chachkov, David Hurzeler
    Modelling a Secure, Mobile, and Transactional System with CO-OPN. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:82-91 [Conf]
  2. Stanislav Chachkov, Didier Buchs
    From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. [Citation Graph (0, 0)][DBLP]
    ACSD, 2001, pp:99-0 [Conf]
  3. Didier Buchs, C. Buffard, P. Racloz
    Modeling and Validation of Tasks with Algebraic Structured Nets. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1995, pp:284-297 [Conf]
  4. Stéphane Barbey, Didier Buchs
    Testing Ada Abstract Data Types Using Formal Specifications. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 1994, pp:76-89 [Conf]
  5. Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler
    Prototyping Object Oriented Specifications. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:473-482 [Conf]
  6. Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
    Real-Time Synchronised Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:142-162 [Conf]
  7. O. Biberstein, Didier Buchs, Nicolas Guelfi
    Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:73-130 [Conf]
  8. Mathieu Buffo, Didier Buchs
    A Coordination Model for Distributed Object Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:410-413 [Conf]
  9. Mathieu Buffo, Didier Buchs
    A Distributed Semantics for a IWIM-Based Coordination Language. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:415- [Conf]
  10. Rémi Bastide, Didier Buchs
    Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop). [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:221-255 [Conf]
  11. Stéphane Barbey, Didier Buchs, Cécile Péraire
    A Theory of Specification-Based Testing for Object-Oriented Software. [Citation Graph (0, 0)][DBLP]
    EDCC, 1996, pp:303-320 [Conf]
  12. Adel Besrour, David Hurzeler, Didier Buchs
    Concurrent object oriented approach in morm simulation. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:90-94 [Conf]
  13. Didier Buchs, Nicolas Guelfi
    Formal Development of Actor Programs Using Structured Algebraic Petri Nets. [Citation Graph (0, 0)][DBLP]
    PARLE, 1993, pp:353-366 [Conf]
  14. Cécile Péraire, Stéphane Barbey, Didier Buchs
    Test selection for object-oriented software based on formal specifications. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:385-403 [Conf]
  15. Ang Chen, Didier Buchs
    Towards Service-Based Business Process Modeling, Prototyping and Integration. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:218-233 [Conf]
  16. Levi Lucio, Luis Pedro, Didier Buchs
    A Methodology and a Framework for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    RISE, 2004, pp:57-70 [Conf]
  17. Luis Pedro, Levi Lucio, Didier Buchs
    Prototyping Domain Specific Languages with COOPN. [Citation Graph (0, 0)][DBLP]
    RISE, 2005, pp:174-189 [Conf]
  18. Didier Buchs, Mathieu Buffo
    Rapid Prototyping of Formally Modelled Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 1999, pp:4-9 [Conf]
  19. Didier Buchs, A. Diagne, Fabrice Kordon
    Testing Prototypes Validity to Enhance Code Reuse. [Citation Graph (0, 0)][DBLP]
    International Workshop on Rapid System Prototyping, 1998, pp:6-12 [Conf]
  20. Stanislav Chachkov, Didier Buchs
    From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:142-148 [Conf]
  21. Stanislav Chachkov, Didier Buchs
    Interfacing Software Libraries from Non-deterministic Prototypes. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2002, pp:92-98 [Conf]
  22. Ang Chen, Didier Buchs
    Generative Business Process Prototyping Framework. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2006, pp:140-148 [Conf]
  23. Luis Pedro, Levi Lucio, Didier Buchs
    Principles for System Prototype and Verification Using Metamodel Based Transformations. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2006, pp:10-17 [Conf]
  24. Levi Lucio, Luis Pedro, Didier Buchs
    A Test Language for CO-OPN Specifications. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2005, pp:195-201 [Conf]
  25. Didier Buchs, Luis Pedro, Levi Lucio
    Formal Test Generation from UML Models. [Citation Graph (0, 0)][DBLP]
    Research Results of the DICS Program, 2006, pp:145-171 [Conf]
  26. Mathieu Buffo, Didier Buchs
    Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 1997, v:16, n:2, pp:- [Journal]
  27. Didier Buchs, Nicolas Guelfi
    A Formal Specification Framework for Object-Oriented Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:7, pp:635-652 [Journal]

  28. Model Checking Techniques for Test Generation from Business Process Models. [Citation Graph (, )][DBLP]


  29. AlPiNA: A Symbolic Model Checker. [Citation Graph (, )][DBLP]


  30. Composing Visual Syntax for Domain Specific Languages. [Citation Graph (, )][DBLP]


  31. AlPiNA: An Algebraic Petri Net Analyzer. [Citation Graph (, )][DBLP]


  32. A domain specific language and methodology for control systems GUI specification, verification and prototyping. [Citation Graph (, )][DBLP]


  33. System Prototype and Verification Using Metamodel-Based Transformations. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002