Publications

	SAM 2022: The Future of Model-Driven Software and System Engineering 14th International Conference, System Analysis and Modeling, Montreal, Canada, October 24-25, 2022, Proceedings. Publisher: Association for Computing Machinery, New York, United States Conference Chairs: Wahab Hamou-Lhadj, Abdelouahed Gherbi ISBN 978-1-4503-9467-3
	SAM 2021: Agility and DevOps 13th International Conference, System Analysis and Modeling, Virtual event Fukuoka, Japan, October 10-15, 2021, Proceedings. Publisher: Association for Computing Machinery, New York, United States Editors: Jameleddine Hassine, Philip Makedonski DOI: 10.1109/MODELS-C53483.2021
	SAM 2020: Languages, Methods, and Tools for AI-based Systems 12th International Conference, System Analysis and Modeling, Virtual event Montreal, Canada, October 19-20, 2020, Proceedings. Publisher: Association for Computing Machinery, New York, United States Series: ICSE: International Conference on Software Engineering Editors: Abdelouahed Gherbi, Wahab Hamou-Lhadj, Ahmed Bali ISBN 978-1-4503-8140-6
	Complex Systems Design & Management Proceedings of the Tenth International Conference on Complex Systems Design & Management, CSD&M Paris 2019 held on December 12-13, 2019 at the Cité universitaire in Paris. Editors: Guy André Boy, Alan Guegan, Daniel Krob, Vincent Vion (Eds.) ISBN 978-3-030-34843-4
	SAM 2019: Languages, Methods, and Tools for Industry 4.0 11th International Conference, System Analysis and Modeling, Munich, Germany, September 16–17, 2019, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9959 Subseries: Programming and Software Engineering Editors: Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt ISBN 978-3-030-30689-2
	SAM 2018: Languages, Methods, and Tools for Systems Engineering 10th International Conference, System Analysis and Modeling, Copenhagen, Denmark, October 15–16, 2018, Proceedings. Series: Lecture Notes in Computer Science, Vol. 9959 Subseries: Programming and Software Engineering Editors: Ferhat Khendek, Reinhard Gotzhein ISBN 978-3-030-01041-6
	SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9–11, 2017, Proceedings. Series: Lecture Notes in Computer Science, Vol. 10567 Subseries: Programming and Software Engineering Editors: Csöndes, Tibor, Kovács, Gábor, Réthy, György (Eds.) ISBN 978-3-319-68015-6
	SAM 2016: Technology-Specific Aspects of Models 9th International Conference, System Analysis and Modeling, Saint-Malo, France, October 3-4, 2016. Proceedings. Series: Lecture Notes in Computer Science, Vol. 9959 Subseries: Programming and Software Engineering Editors: Jens, Grabowski, Herbold, Steffen (Eds.) ISBN 978-3-319-46613-2
	Complex Systems Design & Management Asia Proceedings of the Second Asia-Pacific Conference on Complex Systems Design & Management, CSDM& Asia 2016 held on February 24-26, 2016 at the Singapore University of Technology and Design Editors: Cardin, M.-A., Fong, S.H., Krob, D., Lui, P.C., Tan, Y.H. (Eds.) ISBN 978-3-319-29643-2
	SDL 2015: Model Driven Dependability Engineering Model-Driven Engineering for Smart Cities 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings Editors: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (Eds.) ISBN 978-3-319-24912-4
	System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Series: Lecture Notes in Computer Science, Vol. 8769 Subseries: Programming and Software Engineering Amyot, Daniel, Fonseca i Casas, Pau, Mussbacher, Gunter (Eds.) ISBN 978-3-319-11742-3
	SDL 2013: Model Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013, Proceedings Series: Lecture Notes in Computer Science, Vol. 7916 Subseries: Computer Communication Networks and Telecommunications Khendek, F.; Toeroe, M.; Gherbi, A.; Reed, R. (Eds.) ISBN 978-3-642-38910-8
	System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers Series: Lecture Notes in Computer Science, Vol. 7744 Subseries: Programming and Software Engineering Haugen, Oystein; Reed, Rick; Gotzhein, Reinhard (Eds.) ISBN 978-3-642-36757-1
	SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers Series: Lecture Notes in Computer Science, Vol. 7083 Subseries: Computer Communication Networks and Telecommunications Ober, Iulian; Ober, Ileana (Eds.) Softcover, ISBN 978-3-642-25263-1
	System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers Series: Lecture Notes in Computer Science, Vol. 6598 Subseries: Computer Communication Networks and Telecommunications Kraemer, Frank Alexander; Herrmann, Peter (Eds.) Softcover, ISBN 978-3-642-21651-0
	SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings Series: Lecture Notes in Computer Science Subseries: Computer Communication Networks and Telecommunications , Vol. 5719 Reed, Rick; Bilgic, Attila; Gotzhein, Reinhard (Eds.) 2009, XII, 257 p., Softcover ISBN: 978-3-642-04553-0
	SDL 2007: Design for Dependable Systems 13th International SDL Forum, Paris, France, Sep 18-21, 2007, Proceedings Series: Lecture Notes in Computer Science , Vol. 4745 Sublibrary: Computer Communication Networks and Telecommunications Gaudin, Emmanuel; Najm, Élie; Reed, Rick (Eds.) 2007, XII, 289 p., Softcover ISBN: 978-3-540-74983-7
	Automated Software Engineering Journal 10515 - September 2007, Volume 14, Issue 3 Graphical scenarios for specifying temporal properties: an automated approach Series: Computer Science Sublibrary: Artificial Intelligence Robert J. Hall; Bashar Nuseibeh ISSN: 0928-8910 (print version) ISSN: 1573-7535 (electronic version)
	System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers Series: Lecture Notes in Computer Science , Vol. 4320 Sublibrary: Computer Communication Networks and Telecommunications Gotzhein, Reinhard; Reed, Rick (Eds.) 2006, X, 229 p., Softcover ISBN: 978-3-540-68371-1
	SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings Series: Lecture Notes in Computer Science , Vol. 3530 Sublibrary: Computer Communication Networks and Telecommunications Prinz, Andreas; Reed, Rick; Reed, Jeanne (Eds.) 2005, XI, 361 p., Softcover ISBN: 978-3-540-26612-9

Livres

	Handbook of Research on Embedded Systems Design Alessandra Bagnato (Softeam R&D, France), Leandro Soares Indrusiak (University of York, UK), Imran Rafiq Quadri (Softeam R&D, France) and Matteo Rossi (Politecnico di Milano, Italy) Release Date: June, 2014. Copyright © 2014. 580 pages. ISBN13: 9781466661943
	Transdisciplinary Models And Application Pau Fonseca i Casas Universitat Politècnica de Catalunya - BarcelonaTech, Spain Release Date: July, 2013. Copyright © 2014. 458 pages. ISBN13: 9781466643697
	An Introduction to TTCN-3, 2nd Edition Colin Willcock, Thomas Deiß, Stephan Tobies, Stefan Keil, Federico Engler, Stephan Schulz ISBN: 978-0-470-66306-6 Hardcover 352 pages February 2011
	An Introduction to TTCN-3 Colin Willcock, Thomas Deiß, Stephan Tobies, Stefan Keil, Federico Engler, Stephan Schulz ISBN: 978-0-470-01224-6 Hardcover 282 pages April 2005
	Validation of Communications Systems with SDL: The Art of SDL Simulation and Reachability Analysis Laurent Doldi ISBN: 978-0-470-85286-6 Hardcover 310 pages April 2003
	UML 2 Illustrated - Developing Real-Time & Communications Systems Laurent Doldi Oct. 2003 - 316 pages - paperback ISBN 2-9516600-1-4
	Systems Engineering with SDL: Developing Performance-Critical Communication Systems Andreas Mitschele-Thiel ISBN: 978-0-471-49875-9 Hardcover 380 pages January 2001
	SDL Illustrated - Visually design executable models Laurent Doldi 270 pages - May 2001 ISBN 2-9516600-0-6
	Electronic Chips & Systems Design Languages Mermet, J. (Ed.) 2001, 320 p., Hardcover ISBN: 978-0-7923-7311-7
	SDL : modélisation de protocoles et systèmes réactifs Zoubir Mammeri 624p. softcover, 07-2000 ISBN : 2-7462-0166-6
	ASN.1 Communication entre systèmes hétérogènes Guide d'utilisation, manuel de référence Dubuisson, Olivier 1999, XX, 546 p., Broché ISBN: 978-2-287-59670-4
	Sdl - Formal Object-Oriented Language for Communicating Systems Par Jan. Ellsberger, Dieter. Hogrefe, Amardeo. Sarma 1997 Prentice Hall Computers / Languages / Programming 312 pages ISBN 0136213847
	Engineering Real Time Systems: An Object-Oriented Methodology Using Sdl 416 pages Prentice Hall (April 1993) English ISBN 0130344486
	Systems Engineering Using Sdl-92 480 pages Elsevier Science Pub Co (January 1994) English ISBN 0444898727

Recommendations

	Business Process Model and Notation (BPMN) Version 2.0 OMG Document Number: formal/2011-01-03 Date: January 2011 Standard document URL: http://www.omg.org/spec/BPMN/2.0
	Abstract Syntax Notation One (ASN.1) TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU X.680 (12/97) SERIES X: DATA NETWORKS AND OPEN SYSTEM COMMUNICATIONS OSI networking and system aspects – Abstract Syntax Notation One (ASN.1)
	Criteria for use of formal description techniques by ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Z.110 (11/2008) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Application of formal description techniques
	Specification and Description Language TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Z.100 (06/2021) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Specification and Description Language (SDL)
	Message Sequence Chart TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Z.120 (02/2011) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Message Sequence Chart (MSC)
	Testing and Test Control Notation version 3 (TTCN-3): Core Language TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Z.161 (10/2022) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Testing and Test Control Notation (TTCN)
	SDL-2000 combined with UML TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Z.109 (10/2016) SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS Formal description techniques (FDT) – Specification and Description Language (SDL)