Search results for "SysML"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Marco Mori, Andrea Ceccarelli, Paolo Lollini, Bernhard Frömel, Francesco Brancati, Andrea Bondavalli	Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile.	J. Softw. Evol. Process.	2018	DBLP DOI BibTeX RDF
17	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas	The Generic SysML/KAOS Domain Metamodel.	CoRR	2018	DBLP BibTeX RDF
17	Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau	From SysML/KAOS Domain Models to B System Specifications.	CoRR	2018	DBLP BibTeX RDF
17	Sajjad Ali	Formal verification of SysML diagram using case studies of real-time system.	Innov. Syst. Softw. Eng.	2018	DBLP DOI BibTeX RDF
17	David Schumacher	From Document Centric Approach to MBSE Approach: BPMN, UML, SysML and Wire Framing Implementation.	CSDM	2018	DBLP DOI BibTeX RDF
17	Slim Medimegh, Jean-Yves Pierron, Frédéric Boulanger	Qualitative Simulation of Hybrid Systems with an Application to SysML Models.	MODELSWARD	2018	DBLP DOI BibTeX RDF
17	Enrique J. Vidal, Elizabeth R. Villota	SysML as a Tool for Requirements Traceability in Mechatronic Design.	ICMRE	2018	DBLP DOI BibTeX RDF
17	Mounifah Alenazi, Nan Niu, Wentao Wang 0003, Juha Savolainen	Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems.	MoDRE@RE	2018	DBLP DOI BibTeX RDF
17	Amal Ahmed Anda	Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML.	RE	2018	DBLP DOI BibTeX RDF
17	Martin Kölbl, Stefan Leue, Hargurbir Singh	From SysML to Model Checkers via Model Transformation.	SPIN	2018	DBLP DOI BibTeX RDF
17	Shu De Wang, Ji-Hong Liu, Chao Fu	SysML Extension Method Supporting Design Rationale Knowledge Model.	CDVE	2018	DBLP DOI BibTeX RDF
17	Christos Kotronis, Anargyros Tsadimas, George-Dimitrios Kapos, Mara Nikolaidou, Dimosthenis Anagnostopoulos	Exploring LoS in railway transportation systems using SysML.	SysCon	2018	DBLP DOI BibTeX RDF
17	Márcio da Silva Arantes, Renan Bonnard, Andre Pierre Mattei, Pierre de Saqui-Sannes	General architecture for data analysis in industry 4.0 using SysML and model based system engineering.	SysCon	2018	DBLP DOI BibTeX RDF
17	Eric P. Xing	SysML: On System and Algorithm Co-design for Practical Machine Learning.	KDD	2018	DBLP DOI BibTeX RDF
17	Yufei Yin, Shaoying Liu, Yixiang Chen	Verification of SysML Activity Diagrams Using Hoare Logic and SOFL.	SOFL+MSVL	2018	DBLP DOI BibTeX RDF
17	Timóteo Gomes, Fernanda M. R. Alencar, Aêda Sousa	De KAOS para SysML na Modelagem de Sistemas Embarcados: Uma Revisão da Literatura.	WER	2018	DBLP DOI BibTeX RDF
17	Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du	Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL.	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
17	Ilham Maskani, Jaouad Boutahar, Souhaïl El Ghazi El Houssaïni	Modeling telemedicine security requirements using a SysML security extension.	ICMCS	2018	DBLP DOI BibTeX RDF
17	Fabíola Gonçalves C. Ribeiro, Achim Reuberg, Carlos Eduardo Pereira, Michel S. Soares	An Approach for Architectural Design of Automotive Systems using MARTE and SysML.	CASE	2018	DBLP DOI BibTeX RDF
17	Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier	Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.	ABZ	2018	DBLP DOI BibTeX RDF
17	Aljoscha Kirchner, Jan-Hendrik Oetjens, Oliver Bringmann 0001	Using SysML for Modelling and Code Generation for Smart Sensor ASICs.	FDL	2018	DBLP DOI BibTeX RDF
17	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel	Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.	IFM	2018	DBLP DOI BibTeX RDF
17	Mounifah Alenazi, Deepak Reddy, Nan Niu	Assuring Virtual PLC in the Context of SysML Models.	ICSR	2018	DBLP DOI BibTeX RDF
17	Nikolaus Regnat	Why SysML does often fail - and possible solutions.	Modellierung	2018	DBLP BibTeX RDF
17	Markus Grabowski, Bernhard Kaiser, Yu Bai	Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts.	Modellierung	2018	DBLP BibTeX RDF
17	Arne Nordmann, Peter Munk	Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees.	MoDELS	2018	DBLP DOI BibTeX RDF
17	Jovita Bankauskaite, Aurelijus Morkevicius	An Approach: SysML-based Automated Completeness Evaluation of the System Requirements Specification.	SYSTEM	2018	DBLP BibTeX RDF
17	Rabéa Ameur-Boulifa, Florian Lugou, Ludovic Apvrille	SysML Model Transformation for Safety and Security Analysis.	ISSA/CSITS@ESORICS	2018	DBLP DOI BibTeX RDF
17	Wojciech Szmuc, Tomasz Szmuc	Towards Embedded Systems Formal Verification Translation from SysML into Petri Nets.	MIXDES	2018	DBLP DOI BibTeX RDF
17	Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar	Back Propagating B System Updates on SysML/KAOS Domain Models.	ICECCS	2018	DBLP DOI BibTeX RDF
17	Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober	SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation.	ECMFA	2018	DBLP DOI BibTeX RDF
17	Anargyros Tsadimas	Model-based enterprise information system design: a SysML-based approach		2018	RDF
17	M. Rodríguez Fernández, Ignacio González Alonso, Eduardo Zalama Casanova	Improving the Interoperability in the Digital Home Through the Automatic Generation of Software Adapters from a SysML Model.	J. Intell. Robotic Syst.	2017	DBLP DOI BibTeX RDF
17	Lucas Lima 0001, Alvaro Miyazawa, Ana Cavalcanti 0001, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis	An integrated semantics for reasoning about SysML design models using refinement.	Softw. Syst. Model.	2017	DBLP DOI BibTeX RDF
17	Jaco Jacobs, Andrew Simpson	On the formal interpretation and behavioural consistency checking of SysML blocks.	Softw. Syst. Model.	2017	DBLP DOI BibTeX RDF
17	Iulia Dragomir, Iulian Ober, Christian Percebois	Contract-based modeling and verification of timed safety requirements within SysML.	Softw. Syst. Model.	2017	DBLP DOI BibTeX RDF
17	Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier	Formal Representation of SysML/KAOS Domain Model (Complete Version).	CoRR	2017	DBLP BibTeX RDF
17	Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier	The SysML/KAOS Domain Modeling Approach.	CoRR	2017	DBLP BibTeX RDF
17	Messaoud Rahim, Ahmed Hammad, Malika Ioualalen	A methodology for verifying SysML requirements using activity diagrams.	Innov. Syst. Softw. Eng.	2017	DBLP DOI BibTeX RDF
17	Roy Mendieta, Jose Luis de la Vara, Juan Llorens Morillo, José María Álvarez Rodríguez	Towards Effective SysML Model Reuse.	MODELSWARD	2017	DBLP DOI BibTeX RDF
17	Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier	Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach.	RE Workshops	2017	DBLP DOI BibTeX RDF
17	Judith Dahmann, Aleksandra Markina-Khusid, Allison Doren, Thomas Wheeler, Matthew Cotter, Mike Kelley	SysML executable systems of system architecture definition: A working example.	SysCon	2017	DBLP DOI BibTeX RDF
17	Mizuki Shinozaki, Faïda Mhenni, Jean-Yves Choley, Aiguo Ming	Reuse of SysML model to support innovation in mechatronic systems design.	SysCon	2017	DBLP DOI BibTeX RDF
17	Qi Zhang, Zhiqiu Huang, Jian Xie 0004	Distributed System Model Using SysML and Event-B.	MLICOM (1)	2017	DBLP DOI BibTeX RDF
17	Telmo Oliveira de Jesus, Michel S. Soares	An Event-Based Technique to Trace Requirements Modeled with SysML.	ICCSA (6)	2017	DBLP DOI BibTeX RDF
17	Xiaoshan Lu, Laurent Piétrac, Éric Niel	A new approach of modeling supervisory control for manufacturing systems based on SysML.	ETFA	2017	DBLP DOI BibTeX RDF
17	Saida Haidrar, Adil Anwar, Ounsa Roudiès	A SYSML-Based Approach to Manage Stakeholder Requirements Traceability.	AICCSA	2017	DBLP DOI BibTeX RDF
17	Neepa Biswas, Samiran Chattopadhyay, Gautam Mahapatra, Santanu Chatterjee, Kartick Chandra Mondal	SysML Based Conceptual ETL Process Modeling.	CICBA (2)	2017	DBLP DOI BibTeX RDF
17	Quelita A. D. S. Ribeiro, Fabíola Gonçalves C. Ribeiro, Michel S. Soares	A Technique to Architect Real-time Embedded Systems with SysML and UML through Multiple Views.	ICEIS (2)	2017	DBLP DOI BibTeX RDF
17	Geoffrey Biggs, Takeshi Sakamoto, Tetsuo Kotoku	A profile and tool for modelling safety information with design information in SysML.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
17	Luca Berardinelli, Stefan Biffl, Arndt Lüder, Emanuel Mätzler, Tanja Mayerhofer, Manuel Wimmer, Sabine Wolny	Cross-disciplinary engineering with AutomationML and SysML.	Autom.	2016	DBLP BibTeX RDF
17	Zakaria Lakhdara, Salah Merniz	A SysML and CLEAN-based methodology for digital circuits design.	Int. J. High Perform. Syst. Archit.	2016	DBLP DOI BibTeX RDF
17	Wei Wan, Hyunmin Cheong, Wei Li 0002, Yong Zeng 0004, Francesco Iorio	Automated transformation of design text ROM diagram into SysML models.	Adv. Eng. Informatics	2016	DBLP DOI BibTeX RDF
17	Anargyros Tsadimas, George-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos	Simulating simulation-agnostic SysML models for enterprise information systems via DEVS.	Simul. Model. Pract. Theory	2016	DBLP DOI BibTeX RDF
17	Chih-Hung Chang, Chih-Wei Lu, William Cheng-Chung Chu, Pao-Ann Hsiung, Dong-Meau Chang	SysML-Based Requirement Management to Improve Software Development.	Int. J. Softw. Eng. Knowl. Eng.	2016	DBLP DOI BibTeX RDF
17	Paolo Lollini, Marco Mori, Arun Babu, Sara Bouchenak	AMADEOS SysML Profile for SoS Conceptual Modeling.	Cyber-Physical Systems of Systems	2016	DBLP DOI BibTeX RDF
17	Flávio Oquendo, Jair C. Leite, Thaís Batista	Software Architecture in Action - Designing and Executing Architectural Models with SysADL grounded on the OMG SysML Standard		2016	DOI RDF
17	Dov Dori	Model-Based Systems Engineering with OPM and SysML		2016	DOI RDF
17	Marco Mori, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Bernhard Frömel	A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems.	HASE	2016	DBLP DOI BibTeX RDF
17	Florian Lugou, Letitia W. Li, Ludovic Apvrille, Rabéa Ameur-Boulifa	SysML Models and Model Transformation for Security.	MODELSWARD	2016	DBLP DOI BibTeX RDF
17	Aamir M. Khan, Muhammad Rashid	Generation of SystemVerilog Observers from SysML and MARTE/CCSL.	ISORC	2016	DBLP DOI BibTeX RDF
17	Nuno Amálio, Richard John Payne, Ana Cavalcanti 0001, Jim Woodcock 0001	Checking SysML Models for Co-simulation.	ICFEM	2016	DBLP DOI BibTeX RDF
17	Camille Raymond, Daniel Prun	Extending MBSE methodology and SysML formalism to integrate human considerations.	HCI-Aero	2016	DBLP DOI BibTeX RDF
17	Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel	Towards Improved Requirements Engineering with SysML and the User Requirements Notation.	RE	2016	DBLP DOI BibTeX RDF
17	Puneet Patwari, Subhrojyoti Roy Chaudhuri, Amar Banerjee, Swaminathan Natarajan, Shreya Pandey	A complementary domain specific design environment aiding SysML.	ISSE	2016	DBLP DOI BibTeX RDF
17	F. Della Monica, Stanislao Patalano, Jean-Yves Choley, Faïda Mhenni, Salvatore Gerbino	A hierarchical set of SysML Model-based objects for tolerance specification.	ISSE	2016	DBLP DOI BibTeX RDF
17	Dirk Bank, Felix Blumrich, Philipp Kress, Christian Stoferle	A systems engineering approach for a dynamic co-simulation of a SysML tool and Matlab.	SysCon	2016	DBLP DOI BibTeX RDF
17	Stéphane Bonnet, Jean-Luc Voirin, Daniel Exertier, Véronique Normand	Not (strictly) relying on SysML for MBSE: Language, tooling and development perspectives: The Arcadia/Capella rationale.	SysCon	2016	DBLP DOI BibTeX RDF
17	Martina Muller, Michael Roth 0007, Udo Lindemann	The hazard analysis profile: Linking safety analysis and SysML.	SysCon	2016	DBLP DOI BibTeX RDF
17	Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora 0002, Lionel C. Briand, Felix Mandoux	Automated change impact analysis between SysML models of requirements and design.	SIGSOFT FSE	2016	DBLP DOI BibTeX RDF
17	David Mentré	SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML.	ABZ	2016	DBLP DOI BibTeX RDF
17	Saida Haidrar, Adil Anwar, Ounsa Roudiès	Towards a generic framework for requirements traceability management for SysML language.	CIST	2016	DBLP DOI BibTeX RDF
17	Christos Kotronis, Anargyros Tsadimas, George-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos	Simulating SysML transportation models.	SMC	2016	DBLP DOI BibTeX RDF
17	Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser	SysML to NuSMV Model Transformation via Object-Orientation.	CyPhy	2016	DBLP DOI BibTeX RDF
17	Mohammad Hossein Askari Hemmat, Otmane Aït Mohamed, Mounir Boukadoum	Towards code generation for ARM Cortex-M MCUs from SysML activity diagrams.	ISCAS	2016	DBLP DOI BibTeX RDF
17	Omar Badreddin, Vahdat Abdelzad, Timothy Lethbridge, Maged Elaasar	fSysML: Foundational Executable SysML for Cyber-Physical System Modeling.	GEMOC@MoDELS	2016	DBLP BibTeX RDF
17	Nerijus Jankevicius	Resource Analysis and Automated Verification for the Thirty Meter Telescope using Executable SysML Models.	EXE@MoDELS	2016	DBLP BibTeX RDF
17	Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir	A Model-Driven Approach to Adapt SysML Blocks.	ICIST	2016	DBLP DOI BibTeX RDF
17	Edmar Hinckel, Milton Borsato, Juliana Schmidt, Fabio Maccari, Paulo Storrer, Eduardo Onofre	Driving Product Design and Requirements Management with SysML.	TE	2016	DBLP DOI BibTeX RDF
17	Patrick Bareiß, Daniel Schütz, Rafael Priego, Marga Marcos, Birgit Vogel-Heuser	A model-based failure recovery approach for automated production systems combining SysML and industrial standards.	ETFA	2016	DBLP DOI BibTeX RDF
17	Nesrine Ammar 0002, Hela Chaieb, Ridha Bouallegue	From Modeling with SysML to Simulation with Contiki Cooja Simulator of Wireless Sensor Networks.	AINA Workshops	2016	DBLP DOI BibTeX RDF
17	Bassim Chabibi, Abdelilah Douche, Adil Anwar, Mahmoud Nassar	Integrating SysML with Simulation Environments (Simulink) by Model Transformation Approach.	WETICE	2016	DBLP DOI BibTeX RDF
17	Georgios-Dimitrios Kapos	Μία μοντελοστρεφής προσέγγιση για την αυτοματοποίηση της προσομοίωσης SysML μοντέλων συστημάτων		2016	RDF
17	Abdelhakim Baouya, Djamal Bennouar, Otmane Aït Mohamed, Samir Ouchani	A quantitative verification framework of SysML activity diagrams under time constraints.	Expert Syst. Appl.	2015	DBLP DOI BibTeX RDF
17	Dustin Nottage, Steven M. Corns, Ahmet Soylemezoglu, Kurt Kinnevan	A SysML Framework for Modeling Contingency Basing.	Syst. Eng.	2015	DBLP DOI BibTeX RDF
17	Samir Ouchani, Gabriele Lenzini	Generating attacks in SysML activity diagrams by detecting attack surfaces.	J. Ambient Intell. Humaniz. Comput.	2015	DBLP DOI BibTeX RDF
17	Chuanlin Huang, Zhiqiu Huang, Jun Hu, Zhipeng Wu, Siqi Wang	A MDE-Based Approach to the Safety Verification of Extended SysML Activity Diagram.	J. Softw.	2015	DBLP DOI BibTeX RDF
17	Zakaria Lakhdara, Salah Merniz	A SysML and CLEAN Based Methodology for RISC Processor Micro-Architecture Design.	Int. J. Embed. Real Time Commun. Syst.	2015	DBLP DOI BibTeX RDF
17	Marcin Jamro, Dariusz Rzonca, Wojciech Rzasa	Testing communication tasks in distributed control systems with SysML and Timed Colored Petri Nets model.	Comput. Ind.	2015	DBLP DOI BibTeX RDF
17	Houssem Abid, Philippe Pernelle, Didier Noterman, Jean-Pierre Campagne, Chokri Ben Amar	SysML approach for the integration of mechatronics system within PLM systems.	Int. J. Comput. Integr. Manuf.	2015	DBLP DOI BibTeX RDF
17	Robert J. Cloutier, Brian J. Sauser, Mary A. Bone, Andrew Taylor	Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models.	IEEE Trans. Syst. Man Cybern. Syst.	2015	DBLP DOI BibTeX RDF
17	Zhipeng Wu, Zhiqiu Huang, Shanshan Wang, Dejian Cao	一种基于故障扩展SysML活动图的安全性验证框架研究 (Research on Framework of Safety Verification Based on Fault-extended SysML Activity Diagram).	计算机科学	2015	DBLP DOI BibTeX RDF
17	Marcin Jamro	SysML Modeling of Functional and Non-functional Requirements for IEC 61131-3 Control Systems.	Progress in Automation, Robotics and Measuring Techniques	2015	DBLP DOI BibTeX RDF
17	Christoph Hilken, Jan Peleska 0001, Robert Wille	A Unified Formulation of Behavioral Semantics for SysML Models.	MODELSWARD	2015	DBLP DOI BibTeX RDF
17	Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban	Architecture Optimization with SysML Modeling: A Case Study Using Variability.	MODELSWARD (Revised Selected Papers)	2015	DBLP DOI BibTeX RDF
17	Ludovic Apvrille, Yves Roudier	Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec.	MODELSWARD (Revised Selected Papers)	2015	DBLP DOI BibTeX RDF
17	Yves Roudier, Ludovic Apvrille	SysML-Sec - A Model Driven Approach for Designing Safe and Secure Systems.	MODELSWARD	2015	DBLP DOI BibTeX RDF
17	Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban	SysML Modeling for Embedded Systems Design Optimization - A Case Study.	MODELSWARD	2015	DBLP DOI BibTeX RDF
17	Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir	Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML.	CAL	2015	DBLP BibTeX RDF
17	Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux	A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.	ICFEM	2015	DBLP DOI BibTeX RDF