Publications

SAM Conference 2016
System Analysis and Modeling: Technology-Specific Aspects of Models
9th International Conference, SAM 2016, Saint-Melo, 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 at 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
SAM 2004
System Analysis and Modeling
4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
Series: Lecture Notes in Computer Science , Vol. 3319
Sublibrary: Computer Communication Networks and Telecommunications
Amyot, Daniel; Williams, Alan W. (Eds.)
2005, XII, 301 p., Softcover
ISBN: 978-3-540-24561-2
TestCom 2004
Testing of Communicating Systems
16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
Series: Lecture Notes in Computer Science , Vol. 2978
Groz, Roland; Hierons, Robert M. (Eds.)
2004, XII, 225 p., Softcover
ISBN: 978-3-540-21219-5
WWIC 2004
Wired/Wireless Internet Communications
Second International Conference, WWIC 2004, Frankfurt/Oder, Germany, February 4-6, 2004, Proceedings
Series: Lecture Notes in Computer Science , Vol. 2957
Langendoerfer, P.; Liu, M.; Matta, I.; Tsaoussidis, V. (Eds.)
2004, XI, 307 p., Softcover
ISBN: 978-3-540-20954-6
FMOODS 2003
Formal Methods for Open Object-Based Distributed Systems
6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Series: Lecture Notes in Computer Science , Vol. 2884
Najm, Elie; Nestmann, Uwe; Stevens, Perdita (Eds.)
2003, X, 293 p., Softcover
ISBN: 978-3-540-20491-6
FORTE 2003
Formal Techniques for Networked and Distributed Systems - FORTE 2003
23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- October 2, 2003
Series: Lecture Notes in Computer Science , Vol. 2767
König, Hartmut; Heiner, Monika; Wolisz, Adam (Eds.)
2003, XII, 431 p., Softcover
ISBN: 978-3-540-20175-5
SDL Forum 2003
SDL 2003: System Design
11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
Series: Lecture Notes in Computer Science , Vol. 2708
Reed, Rick; Reed, Jeanne (Eds.)
2003, XI, 405 p., Softcover
ISBN: 978-3-540-40539-9

Books

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

SDL Z.100 recommandation
Specification and Description Language
TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU
Z.100 (11/07)
SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS
Formal description techniques (FDT) – Specification and Description Language (SDL)
SDL-2000 combined with UML Z.109 recommandation
SDL-2000 combined with UML
TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU
Z.109 (06/2007)
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 (04/2004)
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 (11/2007)
SERIES Z: LANGUAGES AND GENERAL SOFTWARE ASPECTS FOR TELECOMMUNICATION SYSTEMS
Formal description techniques (FDT) – Testing and Test Control Notation (TTCN)