Result of search for "buchs":

1. Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen and David Hurzeler, "Prototyping Object-Oriented Specifications", Proceedings of the International Conference on Theory and Application of Petri Nets, Eindhoven, Netherlands, Wil M. P. van der Aalst and Eike Best (Eds.), LNCS (Lecture Notes in Computer Science), vol. 2679, Springer Verlag, June 2003, pp. 473-482. abstract+file

2. Stéphane Barbey and Didier Buchs, "Testing of Ada Abstract Data Types using Formal Specifications", Eurospace Ada-Europe'94 Symposium Proceedings, Copenhagen, Danemark, September 26-30 1994, Marcel Toussaint (Ed.), LNCS (Lecture Notes in Computer Science), vol. 887, Springer Verlag, 1994, pp. 76-89, Also available as Technical Report EPFL-DI No 94/75. abstract+file

3. Stéphane Barbey, Didier Buchs and Cécile Péraire, "A Theory of Specification-Based Testing for Object-Oriented Software", Proceedings of EDCC2 (European Dependable Computing Conference), Taormina, Italy, October 1996, LNCS (Lecture Notes in Computer Science), vol. 1150, Springer Verlag, 1996, pp. 303-320, Also available as Technical Report EPFL-DI No 96/163, Published in DeVa first year report (December 96). abstract+file

4. Stéphane Barbey, Didier Buchs and Cécile Péraire, "Overview and Theory for Unit Testing of Object-Oriented Software", Tagungsband "Qualitätsmanagement der objektorientierten Software-Entwicklung", Basel, October 24 1996, 1996, pp. 73-112. File: http://lgl.epfl.ch/pub/Papers/barbey-saq96.ps

5. Stéphane Barbey, Didier Buchs and Cécile Péraire, "Modelling the Production Cell Case Study using the Fusion Method", Technical Report DI/98/298, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, 1998. abstract+file

6. Stéphane Barbey, Didier Buchs, Marie-Claude Gaudel, Bruno Marre, Cécile Péraire, Pascale Thévenod-Fosse and Hélène Waeselynck, "From Requirements to Tests via Object-Oriented Design", Published in DeVa Third Year Report, December 1998, pp. 331-384. abstract+file

7. Stéphane Barbey, Didier Buchs, Cécile Péraire and Alfred Strohmeier, "Incremental Test Selection for Specification-Based Unit Testing of Object-Oriented Software Based on Formal Specifications", Technical Report DI/99/303, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, CH-1015 Lausanne. Switzerland, 1998. abstract+file

8. Remi Bastide and Didier Buchs, "Models, Formalisms and Methods for Object Oriented Distributed Computing", Workshop Reader, ECOOP Conference 1997, Stuart Mitchell and Jan Bosch (Eds.), LNCS (Lecture Notes in Computer Science), vol. 1357, Springer Verlag, 1997, pp. 221-255.

9. P.-M Berry, Didier Buchs and L. Friha, "Agent modelling using Structured Algebraic Petri Nets in DISA", 15th International Conference on Application and Theory of Petri Nets, Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, June 21 1994, Zaragoza, Espagne, 1994.

10. Adel Besrour and Didier Buchs, "Man-Machine Occupational Risk Modeling (MORM)", IEEE International conference on Systems, Man and Cybernetics, IEEE Press, March 2002, pp. 234-239.

11. Olivier Biberstein, Didier Buchs and Nicolas Guelfi, "Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism", Advances in Petri Nets on Object-Orientation, G. Agha and F. De Cindio and G. Rozenberg (Eds.), LNCS (Lecture Notes in Computer Science), vol. 2001, Springer Verlag, May 2001, pp. 70-127, ISBN 3-540-41942-X, (the URL points to a preliminary version of the article). File: http://lgl.epfl.ch/pub/Papers/biber_lncs97.ps.gz

12. Olivier Biberstein and Didier Buchs, "An Object Oriented Specification Language based on Hierarchical Petri Nets", IS-CORE Workshop (ESPRIT), Amsterdam, September 27-30 1994, 1994, Also available as Technical Report EPFL-DI No 94/76. abstract+file

13. Olivier Biberstein, Didier Buchs, Mathieu Buffo, Christophe Buffard, Jacques Flumet, Jarle Hulaas, Giovanna di Marzo and Pascal Racloz, "SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools", Technical Report DI/95/133, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, 1995. abstract+file

14. Olivier Biberstein and Didier Buchs, "Structured Algebraic Nets with Object-Orientation", Workshop on Object-Oriented Programming and Models of Concurrency'95, G. Agha and F. de Cindio (Eds.), 1995, pp. 131-145, Turin. File: http://lgl.epfl.ch/pub/Papers/biber-t1.ps

15. Olivier Biberstein and Didier Buchs, "Concurrency and Object-Orientation with Structured Algebraic Nets", IS-CORE Workshop, Evry, 1995, 1995, pp. 73-75. File: http://lgl.epfl.ch/pub/Papers/biber-t2.ps

16. Olivier Biberstein, Didier Buchs and Nicolas Guelfi, "Using the COOPN/2 Formal Method for Groupware Systems Engineering", IMACS-IEEE-SMC conference on Computational Engineering in Systems Application (CESA'96), Lille, France, 1996, 1996, Also available as Technical Report EPFL-DI No 96/187. abstract+file

17. Olivier Biberstein, Didier Buchs and Nicolas Guelfi, "COOPN/2 : A Specification Language for Distributed Systems Engineering", Technical Report DI/96/167, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland, 1996. abstract+file

18. Olivier Biberstein, Didier Buchs and Nicolas Guelfi, "Modeling of Cooperative Editors Using COOPN/2", Workshop on Object-Oriented Programming and Models of Concurrency'96, Osaka, Japan, 1996, G. Agha and F. de Cindio (Eds.), 1996. abstract+file

19. Olivier Biberstein, Didier Buchs and Nicolas Guelfi, "COOPN/2 Applied to the Modeling of Cooperative Structured Editors", Technical Report DI/96/184, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland, 1996. abstract+file

20. Olivier Biberstein, Didier Buchs and Nicolas Guelfi, "CO-OPN/2: A Concurrent Object-Oriented Formalism", Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23 1997, Chapman and Hall, London, 1997, pp. 57-72. File: http://lgl.epfl.ch/pub/Papers/biber_fmoods97.ps.gz

21. Denis Brunet, Didier Buchs, Daniel Monteiro and Fabrice Mourlin, "Parallel Distributed Algorithm Design through Specification Transformation: The Asynchronous Vision System", FIP WG10.3 Working Conference on Programming Environments for Massively Parallel Distributed Systems, Monte Verita, Ascona, April 25-29 1994, 1994. abstract+file

22. Didier Buchs and Nicolas Guelfi, "A Formal Specification Framework for Object-Oriented Distributed Systems", IEEE Transactions on Software Engineering, vol. 26, no. 7, July 2000, pp. 635-652.

23. Didier Buchs, Sandro Costa and David Hurzeler, "Component Based System Modelling for Easier Verification", Concurrency in Dependable Computing, P. Ezhilchevan and A. Romanovsky (Eds.), Kluwer, 2002, pp. 61-86.

24. Didier Buchs, Sandro Costa and David Hurzeler, "Flexible Subtyping Relations for Component-Oriented Formalisms", Technical Report IC/2002/43, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, June 2002. abstract+file

25. Didier Buchs, Stanislav Chachkov and David Hurzeler, "Modelling a Secure, Mobile and Transactional System with CO-OPN", Proceedings of the International Conference on Application of Concurrency to System Design, Guimarães, Portugal, Johan Lilius and Felice Balarin and Ricard J. Machado (Eds.), IEEE CS Press, June 2003, pp. 82-91, Also available as Technical Report IC/2003/14, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences. abstract+file

26. Didier Buchs, Jacques Flumet and Pascal Racloz, "SANDS: Structured Algebraic Net Development System", 14th International Conference on Application and Theory of Petri Nets, Tool presentation abstracts, Chicago, USA, June 1993, Ugo Buy (Ed.), 1993, pp. 25-29. abstract+file

27. Didier Buchs, Fabrice Mourlin and Lorens Safavi, "CO-OPN for specifying a distributed termination detection algorithm", Software Engineering for Parallel Systems, Germany, September 20-24 1993, vol. 3, IOS Press, 1993. abstract+file

28. Didier Buchs and Pascal Racloz, "Symbolic Proof of CTL Formulae over Petri Nets", 8th International Symposium on Computer and Information Sciences, Istambul, November 3-5 1993, 1993, pp. 189-196. abstract+file

29. Didier Buchs and Nicolas Guelfi, "Formal Development of Actor Programs using Structured Algebraic Petri Nets", International Conference on Parallel Architectures and Languages Europe PARLE'93, Munich, 1993, LNCS, vol. 694, 1993, pp. 353-366. abstract+file

30. Didier Buchs, Daniel Monteiro, Fabrice Mourlin and Denis Brunet, "Parallel Distributed Algorithm Design through Specification Transformation: The Asynchronous Vision System", Technical Report DI/94/74, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Switzerland, October 1994.

31. Didier Buchs and Jose Rolim, "Methodology for Producing Parallel Probabilistic Algorithms from Specifications: Collection of Articles", Technical Report DI/94/80, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Switzerland, 1994.

32. Didier Buchs and Pascal Racloz, "Symbolic Proofs of Temporal Properties", Technical Report DI/94/42, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Switzerland, January 1994.

33. Didier Buchs, Mathieu Buffo, Jacques Flumet, Pascal Racloz and Erik Urland, "SANDS Tools : an environment for deriving parallel programs", Proceedings of CASE Tools Workshop of the World Transputer Congress 1994, Cernobbio, Italia, 1994, Innes Jelly and Ian Gorton (Eds.), 1994. abstract+file

34. Didier Buchs and Giovanna Di Marzo, "ACCESS - Algebraic Concurrent Events for System Specification", Technical Report DI/94/86, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Switzerland, November 1994. abstract+file

35. Didier Buchs, Jarle Hulaas, Pascal Racloz, Mathieu Buffo, Jacques Flumet and Erik Urland, "SANDS Structured Algebraic Net Development System for CO-OPN", 16th International Conference on Application and Theory of Petri Nets, Turin, Italie, 1995, pp. 45-53.

36. Didier Buchs and Jarle Hulaas, "Incremental Object Oriented Implementation of Concurrent Systems based on Prototyping of Formal Specifications", SIPAR workshop, Biel, Switzerland, October 1995, 1995, pp. 141-145. File: http://lgl.epfl.ch/pub/Papers/buchs-Sipar-OO-distr.abstract.ps

37. Didier Buchs, Christophe Buffard and Pascal Racloz, "Modelling and validation of tasks with algebraic structured nets", Ada in Europe'95, Frankfurt, Germany, October 2-4 1995, Toussaint (Ed.), LNCS (Lecture Notes in Computer Science), vol. 1031, Springer Verlag, 1995, pp. 284-297. File: http://lgl.epfl.ch/pub/Papers/buchs-article.ps

38. Didier Buchs, "Test Selection Method to Validate Concurrent Programs against their Specifications", Software Quality Management, Sevilla, Spain, April 1995, 1995, pp. 403-414, (Also Available as Technical Report EPFL-DI No 95/101). File: http://lgl.epfl.ch/pub/Papers/buchs-testmethodSQM95.ps

39. Didier Buchs, "Les spécifications algébriques, un modèle formel pour le développement de logiciels", Génie logiciel: principes, méthodes et techniques, Alfred Strohmeier and Didier Buchs (Eds.), Presses Polytechniques et Universitaires Romandes, Lausanne, 1996, pp. 137-158, ISBN 2-88074-296-X.

40. Didier Buchs, Pascal Racloz, Mathieu Buffo, Jacques Flumet and Erik Urland, "Deriving Parallel Programs using SANDS tools", Transputer Communication Journal, vol. 3, no. 1, 1996, pp. 23-32. abstract+file

41. Didier Buchs and Jarle Hulaas, "Evolutive Prototyping of Heterogeneous Distributed Systems Using Hierarchical Algebraic Petri Nets", IEEE International Conference on Systems, Man and Cybernetics, Beijing, China, October 14-17 1996, 1996, pp. 3021-3026. abstract+file

42. Didier Buchs, "Méthodes formelles pour le développement et la vérification de logiciels", Neuvième journées internationales, Le génie logiciel et ses applications, Revue génie logiciel, November 18-21 1996, 1996. abstract+file

43. Didier Buchs, Jarle Hulaas and Pascal Racloz, "Exploiting Various Levels of Semantics in CO-OPN for the SANDS Environment Tools", Tool Presentations, International Conference on Application and Theory of Petri Nets ICATPN'97, Toulouse, France, 1997, 1997, pp. 34-43. abstract+file

44. D. Buchs, A. Diagne and F. Kordon, "Testing Prototypes Validity to Enhance Code Reuse", Proceedings of the 9th International Workshop on Rapid System Prototyping, Leuven, Belgium, J. Becker Ed, IEEE Computer Society Press, June 1998, pp. 6-12.

45. Didier Buchs and Cécile Péraire, "Testing Object-Oriented Software", Industry-Tutorial on Formal Methods and Testing, Formal Methods 99, Toulouse France, September 1999. abstract+file

46. D. Buchs and M. Buffo, "Rapid Prototyping of Formally Modelled Distributed Systems", Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP'99), Frances M. Titsworth (Ed.), IEEE, June 1999, ISBN 0-7695-0246-6. abstract+file

47. Mathieu Buffo and Didier Buchs, "A Formal Component-Oriented Design Language for building Distributed System", Technical Report DI/00/308, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, 2000.

48. Mathieu Buffo, Didier Buchs and Stanislav Chachkov, "CoopnTools a Toolkit for the support of CO-OPN", Proceedings of the Tools Demonstration of the 21th International Conference on Application and Theory of Petri Nets, Aarhus University, June 2000, pp. 2-6.

49. Mathieu Buffo, Erik Urland, Josi Rolim and Didier Buchs, "Progressive generation of parallel solutions for formally specified problems", Proceedings of the International Workshop on Parallel Processing'94, December 1994, McGraw Hill, 1994.

50. Mathieu Buffo, Didier Buchs and José Rolim, "Developping parallel programs based on rewriting techniques", IEEE/USP workshop on high performance computing - WHPC'94, Compilers and tools for parallel processing, Sao Paulo (Brésil), March 28-30 1994, 1994. abstract+file

51. Mathieu Buffo, Erik Urland, Jos Rolim and Didier Buchs, "Le projet TSPP", Cahiers du CUI 91, CUI, Universite de Geneve, 24, rue du General Dufour, 1211 Geneve 4, Suisse, December 1994. File: http://lgl.epfl.ch/pub/Papers/Buffo:94:PTSPP.ps.gz

52. Mathieu Buffo, Erik Urland, Jos Rolim and Didier Buchs, "Progressive generation of parallel solutions for formally specified problems", Proceedings of the International Workshop on Parallel Processing'94, New Dehli, India, January 1995, Viktor Prasanna and Vijay Bhatkar and Lalit Patnaik and Satish Tripathi (Eds.), Tata McGraw-Hill, 1995, pp. 89-93. abstract+file

53. Mathieu Buffo and Didier Buchs, "Contextual coordination between objects", X SBES Brazilian Symposium on Software Engineering, Brasil, 1996, Jose Carlos Maldonado and Paulo Cesar Masiero (Eds.), 1996, pp. 341-356. abstract+file

54. Mathieu Buffo and Didier Buchs, "A Coordination Model for Distributed Object Systems", Proceedings of the Second International Conference on Coordination Models and Languages COORDINATION'97, September 1997, LNCS (Lecture Notes in Computer Science), vol. 1282, Springer Verlag, 1997. abstract+file

55. Mathieu Buffo and Didier Buchs, "Contextual Coordination for the Mapping of Distributed Systems on Object-Oriented Systems", Computer and Artificial Intelligence, vol. 16, no. 2, 1997, pp. 187-216. abstract+file

56. M. Buffo and D. Buchs, "A Distributed Semantics for a IWIM-Based Coordination Language", Proceedings of the Third International Conference on Coordination Models and Languages (COORDINATION'99), LNCS (Lecture Notes in Computer Science), no. 1594, Springer Verlag, April 1999, ISBN 3-540-65836-X. abstract+file

57. M. Buffo and D. Buchs, "Polymorphism and Module-Reuse Mechanisms for Algebraic Petri Nets in CoopnTools", Proceedings of the Tools Presentation of th 20th International Confernce on Application and Theory of Petri Nets (ICATPN'99), S. Donatelli and J. Kleijn (Eds.), June 1999. abstract+file

58. Stanislav Chachkov and Didier Buchs, "From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object-Oriented Petri Net Approach", International Conference on Application of Concurrency to System Design, Newcastle, IEEE Computer Society Press, June 2001, pp. 99-110. abstract+file

59. Stanislav Chachkov and Didier Buchs, "From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller", Rapid System Prototyping, Monterey, CA, IEEE Computer Society Press, June 2001, pp. 142-148. abstract+file

60. Stanislav Chachkov and Didier Buchs, "Interfacing Software Libraries from Non-deterministic Prototypes", Rapid System Prototyping, Darmstadt, Germany, IEEE Computer Society Press, July 2002, pp. 92-98.

61. Gabriel Eckert, "Langages purement fonctionnels modernes", Génie logiciel: principes, méthodes et techniques, Alfred Strohmeier and Didier Buchs (Eds.), Presses Polytechniques et Universitaires Romandes, Lausanne, 1996, pp. 103-136, ISBN 2-88074-296-X.

62. N. Guelfi, O. Biberstein, D. Buchs, E. Canver, M-C. Gaudel, F. von Henke and D. Schwier, "Comparison of Object-Oriented Formal Methods", Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation'', University of Newcastle Upon Tyne, Department of Computing Science, 1997. File: http://lgl.epfl.ch/pub/Papers/guelfi_coofm.ps.gz

63. Jarle G. Hulaas, Alex Villazón and Didier Buchs, "Formal Development of Mobile Agents with Coordinated Algebraic Petri Nets", SCI'01 session on Formal Modeling of Agents, Orlando, Florida, USA, IEEE Computer Society Press, July 2001, pp. 3235-3247.

64. Jarle G. Hulaas and Didier Buchs, "An Experiment with Coordinated Algebraic Petri Nets as Formalism for Modeling Mobile Agents", In Proceedings of the First Workshop on Modelling of Objects, Components, and Agents (MOCA'01), Aarhus, Denmark, August 27-28, 2001, Daniel Moldt (Ed.), DAIMI PB-553, Department of Computer Science, University of Aarhus, August 2001, pp. 73-84, ISSN 0105-8517.

65. David Hurzeler and Didier Buchs, "A Component-Oriented Formalism for new Subtype Relations", Ph.D. Workshop at FMOODS (CD-ROM), March 2002.

66. Cécile Péraire, Stéphane Barbey and Didier Buchs, "Testing the Production Cell Case Study from CO-OPN Specification", Technical Report DI/98/299, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, 1998. abstract+file

67. Cécile Péraire, Stéphane Barbey and Didier Buchs, "Test Selection for Object-Oriented Software Based on Formal Specifications", IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98), Shelter Island, New York, USA, June 1998, Chapman & Hall, 1998, pp. 385-403, Also available as Technical Report EPFL-DI No 97/252, Published in DeVa second year report (January 98). abstract+file

68. Pascal Racloz, "Introduction aux réseaux de Petri", Génie logiciel: principes, méthodes et techniques, Alfred Strohmeier and Didier Buchs (Eds.), Presses Polytechniques et Universitaires Romandes, Lausanne, 1996, pp. 207-240, ISBN 2-88074-296-X.

69. Josi Rolim, Erik Urland, Mathieu Buffo and Didier Buchs, "TSPP methodology for producing parallel probabilistic algorithms from specifications", Proceedings of the SPP conference'94, J. M. Grossenbacher (Ed.), FNRS, 1994. abstract+file

70. Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs and Nicolas Guelfi, "Adding Real Time Constraints to Synchronised Petri Nets", Technical Report DI/00/341, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, 2000.

71. Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs and Nicolas Guelfi, "Real-Time Synchronized Petri Nets", International Conference on Theory and Application of Petri Nets, Adelaïde, Australia, J. Esparza and Ch. Lakos (Eds.), LNCS (Lecture Notes in Computer Science), vol. 2360, Springer Verlag, 2002, pp. 142-162.

72. Alfred Strohmeier, "Cycle de vie du logiciel", Génie logiciel: principes, méthodes et techniques, Alfred Strohmeier and Didier Buchs (Eds.), Presses Polytechniques et Universitaires Romandes, Lausanne, 1996, pp. 1-28, ISBN 2-88074-296-X.

73. Ousmane Sy, Mathieu Buffo, Didier Buchs, Fabrice Kordon and Rémi Bastide, "An Experimental Approach towards the XML representation of Petri Net Models", Technical Report DI/00/336, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, 2000.

74. Ousmane Sy, Mathieu Buffo and Didier Buchs, "An Experimental Approach Towards the XML Representation of Petri Net Models", Intl. Workshop on XML/SGML based Interchange Formats for Petri Nets, Aarhus University, June 2000, pp. 35-38.

75. Julie Vachon and Didier Buchs, "Subtyping as a Support for Incremental Development", Models, Formalisms and Methods for Object Oriented Distributed Computing in Workshop Reader, ECOOP Conference 1997, Remi Bastide and Didier Buchs (Eds.), LNCS (Lecture Notes in Computer Science), vol. 1357, Springer Verlag, 1997, pp. 244-247.

76. Julie Vachon, Didier Buchs, Mathieu Buffo, Giovanna Di Marzo Serugendo, Brian Randell, Sascha Romanovsky, Robert Stroud and J. Xu, "COALA - A Formal Language for Coordinated Atomic Actions", DeVa Third Year Report, Deliverables: Part 2 (Papers), December 1998, pp. 43-86. abstract+file

77. Julie Vachon and Didier Buchs, "Towards a Complete Semantics with Negation Rules for CO-OPN/2", Technical Report DI/98/297, Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Switzerland, 1999.

78. David Vernez, Didier Buchs and Guillaume Pierrehumbert, "Perspectives in the Use of Coloured Petri Nets for Risk Analysis and Accident Modelling", Safety Sciences Journal, 2003, To appear.