Publications

SAM Conference 2023
SAM 2023: System Modeling and Analysis in State-of-Practice Technologies
15th International Conference, System Analysis and Modeling, Västerås, Sweden, October 2-3, 2023, Proceedings.
Publisher: IEEE Computer Society, Los Alamitos, CA, USA
Conference Chairs: P. Herrmann and S. Ellevseth
DOI Bookmark: 10.1109/MODELS-C59198.2023.00048
SAM Conference 2022
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 Conference 2021
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 Conference 2020
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
CSD&M 2019
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 Conference 2019
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 Conference 2018
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 Forum 2017
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 Conference 2016
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
CSD&M Asia 2016
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 Forum 2015
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
SAM Conference 2014
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 Forum 2013
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
SAM Workshop 2012
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 Forum 2011
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
SAM 2010
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 Forum 2009
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 Forum 2007
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
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)
SAM 2006
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 Forum 2005
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
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 Applications
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
Introduction to TTCN-3
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
Introduction to TTCN-3
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
Laurent Doldi 2003
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
Laurent Doldi UML 2
UML 2 Illustrated - Developing Real-Time & Communications Systems
Laurent Doldi
Oct. 2003 - 316 pages - paperback
ISBN 2-9516600-1-4
Andreas Mitschele-Thiel
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
SDL Illustrated - Visually design executable models
Laurent Doldi
270 pages - May 2001
ISBN 2-9516600-0-6
ECSDL
Electronic Chips & Systems Design Languages
Mermet, J. (Ed.)
2001, 320 p., Hardcover
ISBN: 978-0-7923-7311-7
Zoubir Mammeri
SDL : modélisation de protocoles et systèmes réactifs
Zoubir Mammeri
624p. softcover, 07-2000
ISBN : 2-7462-0166-6
ASN.1
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 1992
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
Rolv Braek
Engineering Real Time Systems: An Object-Oriented Methodology Using Sdl
416 pages
Prentice Hall (April 1993)
English
ISBN 0130344486
Anders Olsen
Systems Engineering Using Sdl-92
480 pages
Elsevier Science Pub Co (January 1994)
English
ISBN 0444898727

Recommendations

BPMN 2.0 recommandation
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
ASN.1 X.680 recommandation
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)
SDL Z.110 recommandation
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
SDL Z.100 recommandation
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)
MSC Z.120 recommandation
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)
TTCN-3 Z.161 recommandation
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 Z.109 recommandation
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)