LGL - Software Engineering Laboratory

Publication Type

• Conference Papers (220)
• Reports (72)
• Journal Articles (44)
• Theses (20)
• Book Chapters (9)
• Books (7)
• Conference Proceedings (4)
• Student Projects (2)
• Posters (1)

Show more

Lab

• LGL (379)
• LIA (10)
• DCL (5)
• LACAL (1)

Publication Year

• 2008 (7)
• 2007 (8)
• 2006 (20)
• 2005 (25)
• 2004 (28)
• 2003 (29)
• 2002 (27)
• 2001 (24)
• 2000 (22)
• 1999 (19)
• 1998 (20)
• 1997 (23)
• 1996 (27)
• 1995 (25)
• 1994 (28)
• 1993 (13)
• 1992 (2)
• 1991 (1)
• 1990 (5)
• 1989 (2)
• 1988 (9)
• 1987 (3)
• 1986 (5)
• 1985 (5)
• 1984 (2)

Show more

Journal

• Ada Letters (6)
• Output (6)
• Génie logiciel: principes, méthodes et techniques (4)
• Reliable SoftwareTechnologies — Ada-Europe 2001 (4)
• Ada in Europe (3)
• Electronic Notes in Theoretical Computer Science (3)
• IEEE International Conference on Systems, Man and Cybernetics (3)
• Polyrama (3)
• Reliable Software Technologies Ada-Europe 2000 (3)
• Reliable Software Technologies — Ada-Europe’ 99 (3)
• 10th ECOOP Workshop on Mobile Object Systems (2)
• ACM Ada Letters (2)
• AdaLetters (2)
• Internal report (2)
• IRTAW '99: Proceedings of the ninth international workshop on Real-time Ada (2)
• Model Driven Engineering Languages and Systems. MODELS 2006 (2)
• Object-Oriented Technologys. ECOOP 1997 (2)
• Proceedings of the conference on TRI-Ada '94 (2)
• Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world (2)
• Proceedings of the conference on TRI-Ada '97 (2)
• Rapid System Prototyping (2)
• Reliable Software Technologies - Ada-Europe'96 (2)
• SIGPLAN Notices (2)
• Software and System Modeling (2)
• Software And Systems Modeling (2)
• Software & Systems Modeling (2)
• ≪UML≫ 2000 — The Unified Modeling Language (2)
• ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2)
• UML Modeling Languages and Applications. UML 2004 (2)
• Workshop on Exception Handling in Object-Oriented Systems at ECOOP 2000, Sophia Antipolis, Cannes, France, June 12 - 16 (2)
• 14th International Conference on Application and Theory of Petri Nets, Tool presentation abstracts, Chicago, USA, June 1993 (1)
• 15th International Conference on Application and Theory of Petri Nets, Workshop on Computer-Supported Cooperative Work, Petri Nets and Related Formalisms, June 21 1994 (1)
• 16th International Conference on Application and Theory of Petri Nets, Turin, Italie (1)
• 1st Workshop on Refactoring Tools , ECOOP07 Conference Workshop, July 31, 2007, Berlin, Germany (1)
• 6th International Workshop on Object-Oriented Real-Time Dependable Systems (1)
• 6th International Workshop on Program Comprehension - IWPC'98 (1)
• 8th International Symposium on Computer and Information Sciences, Istambul, November 3-5 1993 (1)
• ACM Transactions On Programming Languages and Systems (1)
• ACM/IEEE International Workshop on Software Education, Sorrento (Italie), 1994 (1)
• Ada : du composant à l'application (1)
• Ada-Europe'94, Copenhagen (Denmark), September 16-30 1994 (1)
• Ada-Europe'95, Frankfurt (Germany), October 2-6 1995 (1)
• Ada in Europe. Ada-Europe 1994 (1)
• Ada in Europe. Ada-Europe 1995 (1)
• Ada, Managing the Transition (1)
• Ada Software Reuse, London, 1990 (1)
• AdaLetters, August 1990 (1)
• AdaUser (1)
• Advances in Exception Handling Techniques (1)
• Advances in Petri Nets on Object-Orientation (1)
• AOSD'2002 Workshop on Aspect-Oriented Modeling with UML, Enschede, The Netherlands, April 2002 (1)
• Application and Theory of Petri Nets 2002. ICATPN 2002 (1)
• Applications and Theory of Petri Nets 2003 (1)
• "Can Formal Methods Cope with Software-Intensive Systems", Dagstuhl Seminar (1)
• Colloquium FORMAL METHODS FOR CONCURRENCY, Muenchen, Germany, July 5 1996 (1)
• Computer and Artificial Intelligence (1)
• Concurrency in Dependable Computing (1)
• Coordination Languages and Models. COORDINATION 1997 (1)
• Coordination Languages and Models. COORDINATION 1999 (1)
• Dependable Computing — EDCC-2 (1)
• Dependable Systems: Software, Computing, Networks (1)
• DeVa Third Year Report, Deliverables: Part 2 (Papers) (1)
• DSM '04: Proceedings of the 1st international doctoral symposium on Middleware (1)
• ECOOP 2002 — Object-Oriented Programming (1)
• ECSQ'94 (European Conference on Software Quality), Basel, Switzerland, October 17-20 1994 (1)
• Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (1)
• Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99) (1)
• FIP WG10.3 Working Conference on Programming Environments for Massively Parallel Distributed Systems, Monte Verita, Ascona, April 25-29 1994 (1)
• First International Workshop on Model-driven Approaches to Middleware Applications Development (MAMAD), held at the 4th ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003 (1)
• First Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2005) (1)
• GPCE'06 (the Fifth International Conference on Generative Programming and Component Engineering) (1)
• Grid Services Engineering and Management. GSEM 2004 (1)
• HP OpenView University Association 10th Workshop, University of Geneva, Switzerland, July 6-9 (1)
• IEE Software Engineering Journal (1)
• IEEE International Conference on Requirements Engineering (1)
• IEEE International conference on Systems, Man and Cybernetics (1)
• IEEE Internet Computing (1)
• IEEE Software (1)
• IEEE Transactions on Software Engineering (1)
• IEEE/USP workshop on high performance computing - WHPC'94, Compilers and tools for parallel processing, Sao Paulo (Brésil), March 28-30 1994 (1)
• IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98), Shelter Island, New York, USA, June 1998 (1)
• IISWC 2006 (IEEE International Symposium on Workload Characterization) (1)
• IMACS-IEEE-SMC conference on Computational Engineering in Systems Application (CESA'96), Lille, France, 1996 (1)
• In Octavian Patrascoiu editor. OCL and Model Driven Engineering, UML 2004 Conference Workshop, October 12, 2004, Lisbon, Portugal (1)
• Industry-Tutorial on Formal Methods and Testing, Formal Methods 99, Toulouse France (1)
• Information and Software Technology (1)
• International Conference on Application of Concurrency to System Design (1)
• International Conference on Grid Services Engineering and Management (GSEM 2004) (1)
• International Conference on Reliable Software Technologies, Ada-Europe'97, London, U.K, June 1-6 1997 (1)
• International Conference on Reliable Software Technologies - Ada-Europe'99, Santander, Spain, June 7-11 1999 (1)
• Intl. Workshop on XML/SGML based Interchange Formats for Petri Nets (1)
• Invited conference, text published in "X Jornada Técnica de Ada-Spain, Documentación, Lunes 12 de Noviembre 2001" (1)
• IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopA (1)
• IRTAW '97: Proceedings of the eighth international workshop on Real-Time Ada (1)
• IS-CORE Workshop (ESPRIT), Amsterdam, September 27-30 1994 (1)
• IS-CORE Workshop, Evry, 1995 (1)
• Journal of Higher-Order and Symbolic Computation (HOSC) (1)
• Journal on Software and Systems Modeling (1)
• Lettre Ada (1)
• Model Driven Architecture (1)
• Model Driven Architecture – Foundations and Applications. ECMDA-FA 2005 (1)
• Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genoa, Italy, October 2006 (1)
• Model Driven Engineering Languages and Systems. MODELS 2005 (1)
• Model-Driven Software Development (1)
• Model Transformations In Practice Workshop (1)
• Modelling and Simulation 1996, Budapest, Hungary, June 2-6 1996 (1)
• Neuvième journées internationales, Le génie logiciel et ses applications, Revue génie logiciel, November 18-21 1996 (1)
• NODe 2004: Object-Oriented and Internet-Based Technologies (1)
• Object Modeling with the OCL, The Rationale behind the Object Constraint Language (1)
• Object-Oriented Development at Work: Fusion in the Real World (1)
• On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE. OTM 2003 (1)
• OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (1)
• OOPSLA 1993, Conference on Object-Oriented Programming Systems, Languages and Applications, Sept 26 - Oct 1, Washington, DC (1)
• OOPSLA'2000 Workshop on Advanced Separation of Concerns in Object-Oriented Systems, Minneapolis, Minnesota, USA, October 2000 (1)
• OOPSLA'2001 Workshop on Advanced Separation of Concerns, Tampa, Florida, USA, October 2001 (1)
• OOPSLA'93, Washington DC, USA, September 26 - October 1 1993 (1)
• OOPSLA'93 Workshop on Specification of Behavioral Semantics in Object-Oriented Information Modeling, Washington (USA), 1993 (1)
• OOPSLA'94 (Object-Oriented Programming, Systems, Languages and Applications), Portland, Oregon, USA, October 23-27 1994 (1)
• OOPSLA'95 (Object-Oriented Programming, Systems, Languages and Applications), Austin, Texas, USA, October 15 1995 (1)
• OOPSLA'99 Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations, Denver, Colorado (1)
• Operational Research'84, North-Holland (1)
• PARLE '93 Parallel Architectures and Languages Europe (1)
• Perspectives of Systems Informatics (1)
• Perspectives of Systems Informatics. PSI 2006 (1)
• Ph.D. Workshop at FMOODS (CD-ROM) (1)
• Polyrama, November 1997 (1)
• Position Paper (1)
• Poster presented at ECOOP 2000, Sophia Antipolis, Cannes, France, June 12 - 16, 2000 (1)
• Postgraduate in Software Engineering (1)
• Pour une informatique consciente (1)
• PPPJ 2007 (International Conference on Principles and Practices of Programming in Java) (1)
• Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Canterbury, UK, July 21-23 1997 (1)
• Proceedings of CASE Tools Workshop of the World Transputer Congress 1994, Cernobbio, Italia, 1994 (1)
• Proceedings of PEPM'04 (2004 ACM SIGPLAN Symposium on Partial Evaluation & Program Manipulation) (1)
• Proceedings of the 1996 SIPAR-Workshop on Parallel and Distributed Computing, Geneva, Switzerland, October 1996 (1)
• Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA-07) (1)
• Proceedings of the 38th Annual Hawaii International Conference on System Sciences (1)
• Proceedings of the 3rd Annual Conference on Scalable Vector Graphics, September 7-10, Tokyo, Japan (1)
• Proceedings of the 7th IEEE International Enterprise Distributed Object Computing Conference (1)
• Proceedings of the 7th IEEE International Enterprise Distributed Object Computing Conference (EDOC) (1)
• Proceedings of the 7th International Workshop on Object-Oriented Real-Time Dependable Systems (1)
• Proceedings of the 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC) (1)
• Proceedings of the 9th International Workshop on Rapid System Prototyping (1)
• Proceedings of the Annual Conference of the Korean Information Sciences Society, Mokpo, April 23-24 (1)
• Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada (1)
• Proceedings of the Euro-American Workshop on Middleware for Sensor Networks, co-located with the 2nd International Conference on Distributed Computing in Sensor Systems (DCOSS '06) (1)
• 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 (1)
• Proceedings of the Hawai International Conference on System Sciences, 1998 (1)
• Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98) (1)
• Proceedings of the International Conference on Application of Concurrency to System Design, Guimarães, Portugal (1)
• Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS 2007) (1)
• Proceedings of the International Conference on Intelligent Knowledge Systems, Robotics and Automation, August 16-20, Assos, Turkey (1)
• Proceedings of the International Workshop on Parallel Processing'94, December 1994 (1)
• Proceedings of the International Workshop on Parallel Processing'94, New Dehli, India, January 1995 (1)
• Proceedings of the SPP conference'94 (1)
• Proceedings of the Tenth International Workshop on Rapid System Prototyping (RSP'99) (1)
• Proceedings of the Tools Demonstration of the 21th International Conference on Application and Theory of Petri Nets (1)
• Proceedings of the Tools Presentation of th 20th International Confernce on Application and Theory of Petri Nets (ICATPN'99) (1)
• Proceedings of the TRI-Ada'95, Workshop on Design Guidelines for Ada 95, Anaheim, California, November 5-10 1995 (1)
• Proceedings of the UML Satellite Activities 2004 (1)
• Proceedings of TRI-Ada'97, St. Louis, MO, USA, November 1997 (1)
• Published in DeVa Third Year Report (1)
• QAPL'05 (3rd Workshop on Quantitative Aspects of Programming Languages) (1)
• Reliable Software Technologies — Ada-Europe (1)
• Reliable Software Technologies - Ada-Europe 2002 (1)
• Reliable Software Technologies — Ada-Europe 2002 (1)
• Reliable Software Technologies — Ada-Europe. Ada-Europe 1998 (1)
• Revue des Sciences et Techniques de la Conception - Journal of Design Sciences and Technology (1)
• ROAD (Report on Object Analysis & Design) (1)
• Safety Science (1)
• Satellite Events at the MoDELS 2005 Conference (1)
• Satellite Events at the MoDELS 2005 Conference. MODELS 2005 (1)
• SCAM 2007 (Seventh IEEE International Working Conference on Source Code Analysis and Manipulation) (1)
• SCI'01 session on Formal Modeling of Agents, Orlando, Florida, USA (1)
• Scientific Engineering for Distributed Java Applications. FIDJI 2002 (1)
• Scientific Engineering of Distributed Java Applications. FIDJI 2004 (1)
• Scope Bull AG (1)
• Scope Bull SA (1)
• SDL 2005: Model Driven (1)
• Second European Workshop on Multi-Agent Systems (EUMAS-2004) (1)
• Second International Workshop on Generative Techniques in the Context of MDA, held at the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Anaheim, CA, USA, October 26-30, 2003 (1)
• SI-Information (1)
• SIGAda'98 Tutorial Notes (1)
• SIGPLAN Notices, January 1985 (1)
• SIPAR workshop, Biel, Switzerland, October 1995 (1)
• Software and Systems Modeling (SoSyM) (1)
• Software Engineering and Middleware (SEM 2004) (1)
• Software Engineering for Parallel Systems, Germany, September 20-24 1993 (1)
• Software Engineering & its Applications 1993, Paris, France, November 15-19 1993 (1)
• Software Engineering Notes (1)
• Software: Practice and Experience (1)
• Software Quality Management, Sevilla, Spain, April 1995 (1)
• Software & Systems Engineering and their Applications,19th International Conference, ICSSEA 2006 (1)
• Sonderausgabe OUTPUT - Objektorientierte Systeme, November 1993 (1)
• SQM'94 Second Conference on Software Quality Management, Edinburgh, Scotland, UK, July 26-28 1994 (1)
• SQM'95 Third International Conference on Software Quality Management, Sevilla, Spain, 1995 (1)
• Tagungsband "Qualitätsmanagement der objektorientierten Software-Entwicklung", Basel, October 24 1996 (1)
• Technical Report of the Esprit Long Term Research Project 20072 ``Design For Validation'' (1)
• Technology and Science of Informatics, Ada Special (1)
• the Second International Workshop on Aspect-Oriented Modeling with UML, in conjunction with the Fifth International Conference on the Unified Modeling Language - the Language and its Applications (UML2002), September 30 - October 4, 2002, Dresden, Germany (1)
• Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) (1)
• Third International Workshop in Software Model Engineering (WiSME), held at the 7th International Conference on the Unified Modeling Language (UML), Lisbon, Portugal, October 11-15, 2004 (1)
• Tool Presentations, International Conference on Application and Theory of Petri Nets ICATPN'97, Toulouse, France, 1997 (1)
• TOOLS Europe'94, Paris-Versailles, March 7-10 1994 (1)
• TOOLS Europe'94, Versailles, France, March 7-11 1994 (1)
• Transputer Communication Journal (1)
• TRI-Ada 1993 Tutorials Volume 2, Seattle, Washington, USA, September 18-23 1993 (1)
• TRI-Ada '95: Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world (1)
• TRI-Ada'94 Tutorial "Advanced Object-Oriented Programming with Ada 9X", Baltimore, Maryland, USA, 1994 (1)
• TRI-Ada'94 Tutorials, Baltimore, Maryland, USA, 1994 (1)
• TRI-Ada'97 Tutorial Notes, St. Louis, MO, USA, 1997 (1)
• T.S.I (1)
• TSI (Techniques et Sciences Informatiques) (1)
• Tutorial Proceedings of TRI-Ada'96, Philadelphia, Pennsylvania, December 3-7 1996 (1)
• Tutorial proceedings on TRI-Ada '91: Ada's role in global markets: solutions for a changing complex world (1)
• UML 2.0 - The Future of the UML Object Constraint Language (OCL). Workshop of UML 2000 - The Unified Modeling Language: Advancing the Standard, Third International Conference, York, UK, October 2 - 6, 2000 (1)
• «UML»’99 — The Unified Modeling Language (1)
• Workshop on Concurrency Issues in UML. UML 2001 - The Unified Modeling Language: Modeling Languages, Concepts and Tools, 4th International Conference, Canada, 2001 (1)
• Workshop on "Killer Examples" for Design Patterns and Objects First, at the Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'2002), Seattle, USA, November 4 (1)
• Workshop on Model Driven Architecture: Foundations and Applications; Proceedings published in Technical Report TR-CTIT-03-27, University of Twente, 2003 (1)
• Workshop on Object-Oriented Programming and Models of Concurrency'95 (1)
• Workshop on Object-Oriented Programming and Models of Concurrency'96, Osaka, Japan, 1996 (1)
• Workshops proceedings of the International Conference on Database and Expert Systems Applications (DEXA'98) (1)
• X SBES Brazilian Symposium on Software Engineering, Brasil, 1996 (1)

Show more