- Joachim Fischer, Markus Scheidgen, Ina Schieferdecker, Rick Reed:
SDL 2015: Model-Driven Engineering for Smart Cities - 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings. Lecture Notes in Computer Science 9369, Springer 2015, ISBN 978-3-319-24911-7 [contents] - 2013
- El Arbi Aboussoror, Ileana Ober, Iulian Ober:
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. SDL Forum 2013: 107-123 - Gusztáv Adamis, Antal Wu-Hen-Chang, Gábor Árpád Németh, Levente Erös, Gábor Kovács:
Data Flow Testing in TTCN-3 with a Relational Database Schema. SDL Forum 2013: 1-18 - Mohammad Alhaj, Dorina C. Petriu:
Traceability Links in Model Transformations between Software and Performance Models. SDL Forum 2013: 203-221 - Naif A. Mokhayesh Alzahrani, Dorina C. Petriu:
Modeling Component Erroneous Behavior and Error Propagation for Dependability Analysis. SDL Forum 2013: 124-143 - Ludovic Apvrille, Pierre de Saqui-Sannes:
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models. SDL Forum 2013: 91-106 - Andreas Blunk, Joachim Fischer:
Efficient Development of Domain-Specific Simulation Modelling Languages and Tools. SDL Forum 2013: 163-181 - Pau Fonseca i Casas, Xavier Pi, Josep Casanovas, Jordi Jové:
Definition of Virtual Reality Simulation Models Using Specification and Description Language Diagrams. SDL Forum 2013: 258-274 - Dennis Christmann, Tobias Braun, Reinhard Gotzhein:
SDL Real-Time Tasks - Concept, Implementation, and Evaluation. SDL Forum 2013: 239-257 - Emmanuel Gaudin, Eric Brunel:
Property Verification with MSC. SDL Forum 2013: 19-35 - Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Pérez:
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. SDL Forum 2013: 72-90 - Jameleddine Hassine, Abdelwahab Hamou-Lhadj:
Towards the Generation of AMF Configurations from Use Case Maps Based Availability Requirements. SDL Forum 2013: 36-53 - Jameleddine Hassine, Gunter Mussbacher, Edna Braun, Mohammad Alhaj:
Modeling Early Availability Requirements Using Aspect-Oriented Use Case Maps. SDL Forum 2013: 54-71 - Levi Lucio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe, Maris Jukss:
FTG+PM: An Integrated Framework for Investigating Model Transformation Chains. SDL Forum 2013: 182-202 - Pavel Morozkin, Irina Lavrovskaya, Valentin Olenev, Konstantin Nedovodeev:
Integration of SDL Models into a SystemC Project for Network Simulation. SDL Forum 2013: 275-290 - Pascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel:
An IMS DSL Developed at Ericsson. SDL Forum 2013: 144-162 - Martin Schmidt, Arif Wider, Markus Scheidgen, Joachim Fischer, Sebastian von Klinski:
Refactorings in Language Development with Asymmetric Bidirectional Model Transformations. SDL Forum 2013: 222-238 - Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed:
SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7916, Springer 2013, ISBN 978-3-642-38910-8 [contents] - 2012
- Iulian Ober, Ileana Ober:
SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Lecture Notes in Computer Science 7083, Springer 2012, ISBN 978-3-642-25263-1 [contents] - 2011
- Saoussen Anssi, Sébastien Gérard, Stefan Kuntz, François Terrier:
AUTOSAR vs. MARTE for Enabling Timing Analysis of Automotive Applications. SDL Forum 2011: 262-275 - Sergey Baranov, Vsevolod Kotlyarov, Thomas Weigert:
Verifiable Coverage Criteria for Automated Testing. SDL Forum 2011: 79-89 - Dennis Christmann, Philipp Becker, Reinhard Gotzhein:
Priority Scheduling in SDL. SDL Forum 2011: 202-217 - Thomas Cottenier, Aswin van den Berg, Thomas Weigert:
Separation of Concerns with Transactional Regions. SDL Forum 2011: 168-185 - Urooj Fatima, Rolv Bræk, Humberto Nicolás Castejón Martínez:
Session Initiation as a Service. SDL Forum 2011: 122-137 - Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen, Xiaorui Zhang:
Standardizing Variability - Challenges and Solutions. SDL Forum 2011: 233-246 - Jameleddine Hassine, Abdelouahed Gherbi:
Exploring Early Availability Requirements Using Use Case Maps. SDL Forum 2011: 54-68 - Surya Bahadur Kathayat, Hien Nam Le, Rolv Bræk:
A Model-Driven Framework for Component-Based Development. SDL Forum 2011: 154-167 - Alexander Kraas:
A Model-Based Formalization of the Textual Notation for SDL-UML. SDL Forum 2011: 218-232 - Marc Krämer, Tobias Braun, Dennis Christmann, Reinhard Gotzhein:
Real-Time Signaling in SDL. SDL Forum 2011: 186-201 - Mohamed Mussa, Ferhat Khendek:
Towards a Model Based Approach for Integration Testing. SDL Forum 2011: 106-121