SAM - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 117

2020

Layout Merging with Relative PositioningHyacinth Ali, Gunter Mussbacher. sam 2020: 106-115 [doi]

Action-Driven Consistency for Modular Multi-Language Systems with PerspectivesHyacinth Ali, Gunter Mussbacher, Jörg Kienzle. sam 2020: 95-104 [doi]

A Vision Towards A Conceptual Basis for the Systematic Treatment of Uncertainty in Goal ModellingSanaa A. Alwidian, Mouna Dhaouadi, Michalis Famelis. sam 2020: 139-142 [doi]

Traceability Management of GRL and SysML ModelsAmal Ahmed Anda, Daniel Amyot. sam 2020: 117-126 [doi]

An attempt to convert BPMN models to SDLMihal Brumbulli, Emmanuel Gaudin. sam 2020: 45-53 [doi]

Qualitative Fault Modeling in Safety Critical Cyber Physical SystemsAjay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai. sam 2020: 128-137 [doi]

SAM '20: 12th System Analysis and Modelling Conference, Virtual Event, Canada, October 19-20, 2020Abdelouahed Gherbi, Wahab Hamou-Lhadj, Ahmed Bali, editors, ACM, 2020. [doi]

iContractML: A Domain-Specific Language for Modeling and Deploying Smart Contracts onto Multiple Blockchain PlatformsMohammad Hamdaqa, Lucas Alberto Pineda Metz, Ilham A. Qasse. sam 2020: 34-43 [doi]

A Model Traceability Framework for Network Service ManagementOmar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe. sam 2020: 64-73 [doi]

SDL Cellular Automaton COVID-19 conceptualizationPau Fonseca i Casas, Joan Garcia i Subirana, Victor Garcia i Carrasco, Jorge Luiz Silva de Barcellos, Josep Roma, Xavier Pi. sam 2020: 144-153 [doi]

Bounded Verification of State Machine ModelsNafiseh Kahani, James R. Cordy. sam 2020: 23-32 [doi]

Model-Based Reconfiguration Planning for a Distributed On-board ComputerAndrii Kovalov, Tobias Franz, Hannes Watolla, Vishav Vishav, Andreas Gerndt, Daniel Lüdtke. sam 2020: 55-62 [doi]

Facilitating the Co-Evolution of Semantic Descriptions in Standards and ModelsPhilip Makedonski, Jens Grabowski. sam 2020: 75-84 [doi]

Towards automated provenance collection for runtime models to record system historyOwen Reynolds, Antonio García-Domínguez, Nelly Bencomo. sam 2020: 12-21 [doi]

A Formalism for Specifying Model Merging ConflictsMohammadreza Sharbaf, Bahman Zamani, Gerson Sunyé. sam 2020: 1-10 [doi]

Temporal Models for History-Aware ExplainabilityJuan Marcelo Parra Ullauri, Antonio García-Domínguez, Luis Hernán García Paucar, Nelly Bencomo. sam 2020: 155-164 [doi]

Process-Based Simulation with Stackless CoroutinesDorian Weber, Joachim Fischer. sam 2020: 84-93 [doi]

2019

Deriving Distributed Design Models from Global State Machines RequirementsMohammad F. Al-hammouri, Gregor von Bochmann. sam 2019: 27-43 [doi]

Generic Graphical Navigation for Modelling ToolsHyacinth Ali, Gunter Mussbacher, Jörg Kienzle. sam 2019: 44-60 [doi]

Union Models: Support for Efficient Reasoning About Model Families Over Space and TimeSanaa A. Alwidian, Daniel Amyot. sam 2019: 200-218 [doi]

Goal Model Integration: Advanced Relationships and Rationales DocumentationMalak Baslyman, Daniel Amyot. sam 2019: 183-199 [doi]

Process Enactment with Traceability Support for NFV SystemsOmar Hassane, Sadaf Mustafiz, Ferhat Khendek, Maria Toeroe. sam 2019: 116-135 [doi]

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, ProceedingsPau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt, editors, Volume 11753 of Lecture Notes in Computer Science, Springer, 2019. [doi]

Towards a Representation of Cellular Automaton Using Specification and Description LanguagePau Fonseca i Casas. sam 2019: 163-179 [doi]

On the Structure of Avionics Systems ArchitectureVisar Januzaj, Stefan Kugele. sam 2019: 139-149 [doi]

Facilitating the Co-evolution of Standards and ModelsPhilip Makedonski, Jens Grabowski. sam 2019: 219-232 [doi]

Adapting Integrity Checking Techniques for Concurrent Operation ExecutionsXavier Oriol, Ernest Teniente. sam 2019: 235-248 [doi]

Use of a Pivot Diagram in SysML to Support an Automated Implementation of a MBSE Design Methodology in an Industry 4.0 ContextRégis Plateaux, Olivia Penas, Farid Louni. sam 2019: 81-98 [doi]

Protocol Syntax Development Using Domain Specific Modeling LanguagesGoran Rajic, Vlado Sruk. sam 2019: 61-77 [doi]

Modeling and Code Generation Framework for IoTMohammad Sharaf, Mai Abusair, Rami Eleiwi, Yara Shana'a, Ithar Saleh, Henry Muccini. sam 2019: 99-115 [doi]

Eventual Consistency FormalizedEdel Sherratt, Andreas Prinz 0001. sam 2019: 249-265 [doi]

Generating Test Suites to Validate Legacy SystemsThomas Weigert, Alexander Kolchin, Stepan Potiyenko, Oleg Gurenko, Aswin van den Berg, Valentyn Banas, Roman Chetvertak, Roman Yagodka, Vlad Volkov. sam 2019: 3-23 [doi]

Generating Executable Code from High-Level Social or Socio-Ecological Model DescriptionsThemis Dimitra Xanthopoulou, Andreas Prinz 0001, F. LeRon Shults. sam 2019: 150-162 [doi]

2018

Distributed Computing on Distributed MemoryAndreas Prinz 0001. sam 2018: 67-84 [doi]

Realizability of Service SpecificationsMohammad F. Al-hammouri, Gregor von Bochmann. sam 2018: 127-143 [doi]

The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case StudyHessa Alfraihi, Kevin Lano, Shekoufeh Kolahdouz Rahimi, Mohammadreza Sharbaf, Howard P. Haughton. sam 2018: 229-245 [doi]

Collaborative Software Design and Modeling in Open Source SystemsOmar Badreddin, Wahab Hamou-Lhadj, Vahdat Abdelzad, Rahad Khandoker, Maged Elassar. sam 2018: 219-228 [doi]

Scheduling Architectures for Scientific Workflows in the CloudJohannes Erbel, Fabian Korte, Jens Grabowski. sam 2018: 20-28 [doi]

An Arithmetic Semantics for GRL Goal Models with Function GenerationYuxuan Fan, Amal Ahmed Anda, Daniel Amyot. sam 2018: 144-162 [doi]

Enabling Performance Modeling for the Masses: Initial ExperiencesAbel Gómez, Connie U. Smith, Amy C. Spellmann, Jordi Cabot. sam 2018: 105-126 [doi]

Towards Online Collaborative Multi-view ModellingNirmal Kanagasabai, Omar Alam, Jörg Kienzle. sam 2018: 202-218 [doi]

A Comparative Analysis of ITU-MSC-Based Requirements Specification Approaches Used in the Automotive IndustryKevin Keller, Jennifer Brings, Marian Daun, Thorsten Weyer. sam 2018: 183-201 [doi]

Pattern Libraries Guiding the Model-Based Reuse of Automotive SolutionsMaged Khalil. sam 2018: 85-104 [doi]

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering - 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, ProceedingsFerhat Khendek, Reinhard Gotzhein, editors, Volume 11150 of Lecture Notes in Computer Science, Springer, 2018. [doi]

CREST - A DSL for Reactive Cyber-Physical SystemsStefan Klikovits, Alban Linard, Didier Buchs. sam 2018: 29-45 [doi]

Textual User Requirements NotationRuchika Kumar, Gunter Mussbacher. sam 2018: 163-182 [doi]

Modeling Data Protection Vulnerabilities of Cloud Systems Using Risk PatternsAlexander Palm, Zoltán Ádám Mann, Andreas Metzger. sam 2018: 1-19 [doi]

On the Ontological Expressiveness of the High-Level Constraint Language for Product Line SpecificationAngela Villota, Raúl Mazo, Camille Salinesi. sam 2018: 46-66 [doi]

2016

Feature Location Through the Combination of Run-Time Architecture Models and Information RetrievalLorena Arcega, Jaime Font, Øystein Haugen, Carlos Cetina. sam 2016: 180-195 [doi]

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet NetworkSofiene Beji, Abdelouahed Gherbi, John Mullins, Pierre-Emmanuel Hladik. sam 2016: 164-179 [doi]

Optimizing Performance of SDL SystemsMihal Brumbulli, Emmanuel Gaudin. sam 2016: 100-115 [doi]

Towards Rule-Based Detection of Design Patterns in Model TransformationsChihab eddine Mokaddem, Houari Sahraoui, Eugene Syriani. sam 2016: 211-225 [doi]

Modular Solutions to Common Design Problems Using Activities and the Interface-Modular MethodUrooj Fatima, Rolv Bræk. sam 2016: 226-241 [doi]

Domain Model Optimized Deployment and Execution of Cloud Applications with TOSCAFabian Glaser. sam 2016: 68-83 [doi]

System Analysis and Modeling. Technology-Specific Aspects of Models - 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016, ProceedingsJens Grabowski, Steffen Herbold, editors, Volume 9959 of Lecture Notes in Computer Science, Springer, 2016. [doi]

Representativeness and Descriptiveness of Task Trees Generated from Website Usage TracesPatrick Harms. sam 2016: 84-99 [doi]

Model Driven Upgrade Campaign Generation for Highly Available SystemsOussama Jebbar, Margarete Sackmann, Ferhat Khendek, Maria Toeroe. sam 2016: 148-163 [doi]

Complex Event Processing in ThingMLAn Ngoc Lam, Øystein Haugen. sam 2016: 20-35 [doi]

Evolving the ETSI Test Description LanguagePhilip Makedonski, Gusztáv Adamis, Martti Käärik, Finn Kristoffersen, Xavier Zeitoun. sam 2016: 116-131 [doi]

Applying MDA and OMG Robotic Specification for Developing Robotic SystemsClaudia Pons, Gabriela Pérez, Roxana S. Giandini, Gabriel Baum. sam 2016: 51-67 [doi]

Object-Oriented Operational SemanticsAndreas Prinz, Birger Møller-Pedersen, Joachim Fischer. sam 2016: 132-147 [doi]

Evaluating Variability Modeling Techniques for Supporting Cyber-Physical System Product Line EngineeringSafdar Aqeel Safdar, Tao Yue, Shaukat Ali, Hong Lu. sam 2016: 1-19 [doi]

SDL: Meeting the IoT ChallengeEdel Sherratt. sam 2016: 36-50 [doi]

Exchanging the Target-Language in Existing, Non-Metamodel-Based CompilersDorian Weber, Markus Scheidgen, Joachim Fischer. sam 2016: 196-210 [doi]

2014

Revisiting Model-Driven Engineering for Run-Time Verification of Business ProcessesWei Dou 0001, Domenico Bianculli, Lionel C. Briand. sam 2014: 190-197 [doi]

Insights on the Use of OCL in Diverse Industrial ApplicationsShaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege. sam 2014: 223-238 [doi]

System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. ProceedingsDaniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher, editors, Volume 8769 of Lecture Notes in Computer Science, Springer, 2014. [doi]

Prototyping SDL ExtensionsAndreas Blunk, Joachim Fischer. sam 2014: 304-311 [doi]

SDL Implementations for Wireless Sensor Networks - Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPSTobias Braun, Dennis Christmann, Reinhard Gotzhein, Alexander Mater. sam 2014: 271-286 [doi]

Model-Based Testing: An Approach with SDL/RTDS and DIVERSITYJulien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre. sam 2014: 198-206 [doi]

Search-Based Model Optimization Using Model TransformationsJoachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe. sam 2014: 80-95 [doi]

Architecture Framework for Software SafetyHavva Gülay Gürbüz, Nagehan Pala Er, Bedir Tekinerdogan. sam 2014: 64-79 [doi]

Formal Technical Process Specification and Verification for Automated Production SystemsGeorg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser. sam 2014: 287-303 [doi]

Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution TracesJameleddine Hassine, Abdelwahab Hamou-Lhadj. sam 2014: 48-63 [doi]

Verifying Hypermedia Applications by Using an MDE ApproachDelcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines. sam 2014: 174-189 [doi]

Efficient Representation of Timed UML 2 InteractionsAlexander Knapp, Harald Störrle. sam 2014: 110-125 [doi]

MID: A MetaCASE Tool for a Better Reuse of Visual NotationsAmine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Pierre Boulet, Sébastien Gérard. sam 2014: 16-31 [doi]

Towards an Extensible Modeling and Validation Framework for SDL-UMLAlexander Kraas. sam 2014: 255-270 [doi]

An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML EditorsDaniel Liabeuf, Xavier Le Pallec, José Rouillard. sam 2014: 32-47 [doi]

Acceptance Test OptimizationMohamed Mussa, Ferhat Khendek. sam 2014: 158-173 [doi]

On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in SimulinkLukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier. sam 2014: 207-222 [doi]

Model-Based Mining of Source Code RepositoriesMarkus Scheidgen, Joachim Fischer. sam 2014: 239-254 [doi]

Associativity between Weak and Strict SequencingGregor von Bochmann. sam 2014: 96-109 [doi]

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive SystemsSabine Winetzhammer, Joel Greenyer, Matthias Tichy. sam 2014: 126-141 [doi]

A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural LanguagesMan Zhang, Tao Yue, Shaukat Ali, HuiHui Zhang, Ji Wu. sam 2014: 142-157 [doi]

BVR - Better Variability ResultsØystein Haugen, Ommund Øgård. sam 2014: 1-15 [doi]

2013

System Analysis and Modeling: Theory and Practice - 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected PapersØystein Haugen, Rick Reed, Reinhard Gotzhein, editors, Volume 7744 of Lecture Notes in Computer Science, Springer, 2013. [doi]

2012

Type-Safe Symmetric Composition of Metamodels Using TemplatesHenning Berg, Birger Møller-Pedersen. sam 2013: 160-178 [doi]

Prototyping Domain Specific Languages as Extensions of a General Purpose LanguageAndreas Blunk, Joachim Fischer. sam 2013: 72-87 [doi]

Simulation Configuration Modeling of Distributed Communication SystemsMihal Brumbulli, Joachim Fischer. sam 2013: 198-211 [doi]

Real-Time Tasks in SDLDennis Christmann, Reinhard Gotzhein. sam 2013: 53-71 [doi]

On Deriving Detailed Component Design from High-Level Service SpecificationUrooj Fatima, Rolv Bræk. sam 2013: 142-159 [doi]

From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart CitiesJoachim Fischer, Jens-Peter Redlich, Björn Scheuermann, Jochen H. Schiller, Mesut Günes, Kai Nagel, Peter Wagner, Markus Scheidgen, Anatolij Zubow, Ingmar Eveslage, Robert Sombrutzki, Felix Juraschek. sam 2013: 121-141 [doi]

GRL Model Validation: A Statistical ApproachJameleddine Hassine, Daniel Amyot. sam 2013: 212-228 [doi]

Configuration-Based Service Availability Analysis for Middleware Managed ApplicationsAli Kanso, Maria Toeroe, Ferhat Khendek. sam 2013: 229-248 [doi]

Models '67 RevisitedBirger Møller-Pedersen. sam 2013: 1-15 [doi]

Behavioral Fuzzing Operators for UML Sequence DiagramsMartin Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker, Andrej Pietschker. sam 2013: 88-104 [doi]

An Approach to Specify and Analyze Goal Model FamiliesAzalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric S. K. Yu, Gunter Mussbacher, Rasha Tawhid, Nick Cartwright. sam 2013: 34-52 [doi]

Relativity and Abstract State MachinesEdel Sherratt. sam 2013: 105-120 [doi]

Towards Correct Product Derivation in Model-Driven Product LinesXiaorui Zhang, Birger Møller-Pedersen. sam 2013: 179-197 [doi]

Sign in or sign up to see more results.

runs on WebDSL