Search results for "SysML"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Kênia Santos de Oliveira, Joyce M. S. França, Michel S. Soares	Extensions of SysML for Modeling an Aspect Oriented Software Architecture with Multiple Views.	ITNG	2013	DBLP DOI BibTeX RDF
17	Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi	A probabilistic verification framework of SysML activity diagrams.	SoMeT	2013	DBLP DOI BibTeX RDF
17	Ahmed Hammad, Hassan Mountassir, Samir Chouali	An approach combining SysML and modelica for modelling and validate wireless sensor networks.	SESoS	2013	DBLP DOI BibTeX RDF
17	Konstantin Kernschmidt, Birgit Vogel-Heuser	An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering.	CASE	2013	DBLP DOI BibTeX RDF
17	Daniel Chaves Cafe, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger	Multi-paradigm semantics for simulating SysML models using SystemC-AMS.	FDL	2013	DBLP BibTeX RDF
17	Lucas Lima 0001, André Didier, Márcio Cornélio	A Formal Semantics for SysML Activity Diagrams.	SBMF	2013	DBLP DOI BibTeX RDF
17	Robert F. Oates, Fran Thom, Graham Herries	Security-Aware, Model-Based Systems Engineering with SysML.	ICS-CSR	2013	DBLP BibTeX RDF
17	Mohammad Chami, Haitham Bou-Ammar, Holger Voos, Karl Tuyls, Gerhard Weiss 0001	Swarm-based evaluation of nonparametric SysML mechatronics system design.	ICM	2013	DBLP DOI BibTeX RDF
17	Samir Chouali, Oscar Carrillo, Hassan Mountassir	Specifying System Architecture from SysML Requirements and Component Interfaces.	ECSA	2013	DBLP DOI BibTeX RDF
17	Jair C. Leite, Flávio Oquendo, Thaís Vasconcelos Batista	SysADL: A SysML Profile for Software Architecture Description.	ECSA	2013	DBLP DOI BibTeX RDF
17	Oscar Carrillo, Samir Chouali, Hassan Mountassir	Incremental Modeling of System Architecture Satisfying SysML Functional Requirements.	FACS	2013	DBLP DOI BibTeX RDF
17	Iulia Dragomir, Iulian Ober, Christian Percebois	Integrating verifiable Assume/Guarantee contracts in UML/SysML.	ACES-MB@MoDELS	2013	DBLP BibTeX RDF
17	Fabíola Gonçalves C. Ribeiro, Sanjay Misra, Michel S. Soares	Application of an Extended SysML Requirements Diagram to Model Real-Time Control Systems.	ICCSA (3)	2013	DBLP DOI BibTeX RDF
17	Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda	Formalization and Model Checking of SysML State Machine Diagrams by CSP#.	ICCSA (3)	2013	DBLP DOI BibTeX RDF
17	Ludovic Apvrille, Pierre de Saqui-Sannes	Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models.	SDL Forum	2013	DBLP DOI BibTeX RDF
17	Marcin Jamro, Bartosz Trybus	An approach to SysML modeling of IEC 61131-3 control software.	MMAR	2013	DBLP DOI BibTeX RDF
17	Lisa Ollinger, Detlef Zühlke, Alfred Theorin, Charlotta Johnsson	A reference architecture for service-oriented control procedures and its implementation with SysML and Grafchart.	ETFA	2013	DBLP DOI BibTeX RDF
17	Nikolaos Papakonstantinou, Seppo A. Sierla	Generating an Object Oriented IEC 61131-3 software product line architecture from SysML.	ETFA	2013	DBLP DOI BibTeX RDF
17	Pekka Pihlanko, Seppo A. Sierla, Kleanthis Thramboulidis, Mauri Viitasalo	An industrial evaluation of SysML: The case of a nuclear automation modernization project.	ETFA	2013	DBLP DOI BibTeX RDF
17	Heng-You Lin, Majid Sorouri, Valeriy Vyatkin, Zoran Salcic	Model-based customisation of intelligent mechatronic systems using SysML.	ETFA	2013	DBLP DOI BibTeX RDF
17	Christophe Gnaho, Farida Semmak, Regine Laleau	An overview of a SysML extension for goal-oriented NFR modelling: Poster paper.	RCIS	2013	DBLP DOI BibTeX RDF
17	Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Bruno Legeard, Fabien Peureux	Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing.	ECMFA	2013	DBLP DOI BibTeX RDF
17	Vanderson H. Fragal, Rogério F. da Silva, Itana Maria de Souza Gimenes, Edson A. Oliveira Junior	Application Engineering for Embedded Systems - Transforming SysML Specification to Simulink within a Product-Line based Approach.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
17	Fabíola Gonçalves C. Ribeiro, Michel S. Soares	An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
17	Rogério F. da Silva, Vanderson H. Fragal, Edson A. Oliveira Junior, Itana Maria de Souza Gimenes, Flávio Oquendo	SyMPLES - A SysML-based Approach for Developing Embedded Systems Software Product Lines.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
17	Kênia Santos de Oliveira, Michel dos Santos Soares	Modeling Aspects in Requirements using SysML Extensions.	ICEIS (2)	2013	DBLP DOI BibTeX RDF
17	Elvinia Riccobene, Patrizia Scandurra	Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow.	Des. Autom. Embed. Syst.	2012	DBLP DOI BibTeX RDF
17	Samir Chouali, Ahmed Hammad, Hassan Mountassir	Assembling Components using SysML with Non-Functional Requirements.	FESCA	2012	DBLP DOI BibTeX RDF
17	Aditya A. Shah, Christiaan J. J. Paredis, Roger Burkhart, Dirk Schaefer	Combining Mathematical Programming and SysML for Automated Component Sizing of Hydraulic Systems.	J. Comput. Inf. Sci. Eng.	2012	DBLP DOI BibTeX RDF
17	Thomas Johnson, Aleksandr A. Kerzhner, Christiaan J. J. Paredis, Roger Burkhart	Integrating Models and Simulations of Continuous Dynamics Into SysML.	J. Comput. Inf. Sci. Eng.	2012	DBLP DOI BibTeX RDF
17	Anthony Fernandes Pires, Stéphane Duprat, C. Besseyre	Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience.	Tech. Sci. Informatiques	2012	DBLP DOI BibTeX RDF
17	Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho	Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling.	ANT/MobiWIS	2012	DBLP DOI BibTeX RDF
17	Oscar Carrillo, Samir Chouali, Hassan Mountassir	Formalizing and verifying compatibility and consistency of SysML blocks.	ACM SIGSOFT Softw. Eng. Notes	2012	DBLP DOI BibTeX RDF
17	Romaric Guillerm, Hamid Demmou, Nabil Sadou	Sysml Knowledge base for Designing Dependable Complex System	CoRR	2012	DBLP BibTeX RDF
17	Pietro Colombo, Ferhat Khendek, Luigi Lavazza	Bridging the gap between requirements and design: An approach based on Problem Frames and SysML.	J. Syst. Softw.	2012	DBLP DOI BibTeX RDF
17	Shiva Nejati, Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Thierry Coq	A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies.	Inf. Softw. Technol.	2012	DBLP DOI BibTeX RDF
17	Nicola Bombieri, Emad Samuel Malki Ebeid, Franco Fummi, Michele Lora	On the Reuse of RTL IPs for SysML Model Generation.	MTV	2012	DBLP DOI BibTeX RDF
17	Nga Nguyen 0001, Hubert Kadima	SysML Parametric Models for Complex System Performance Analysis - A Case Study.	SIMULTECH	2012	DBLP BibTeX RDF
17	Paolo Bocciarelli, Andrea D'Ambrogio, Gabriele Fabiani	A Model-driven Approach to Build HLA-based Distributed Simulations from SysML Models.	SIMULTECH	2012	DBLP BibTeX RDF
17	Anargyros Tsadimas, Mara Nikolaidou, Dimosthenis Anagnostopoulos	Extending SysML to explore non-functional requirements: the case of information system design.	SAC	2012	DBLP DOI BibTeX RDF
17	Xiaopu Huang, Qingqing Sun, Jiangwei Li, Tian Zhang 0001	MDE-Based Verification of SysML State Machine Diagram by UPPAAL.	ISCTCS	2012	DBLP DOI BibTeX RDF
17	Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh	MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.	ReCoSoC	2012	DBLP DOI BibTeX RDF
17	Ola Batarseh, Leon F. McGinnis	SysML to discrete-event simulation to analyze electronic assembly systems.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
17	Matthew Hause, James Hummell	Simulation of an electrical network and control system in SysML.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
17	Damien Foures, Vincent Albert, Jean-Claude Pascal, Alexandre Nketsa	Automation of SysML activity diagram simulation with model-driven engineering approach.	SpringSim (TMS-DEVS)	2012	DBLP BibTeX RDF
17	Muzaffar Iqbal, Muhammad Uzair Khan, Muhammad Sher	System Analysis and Modeling Using SysML.	ICITCS	2012	DBLP DOI BibTeX RDF
17	Ola Batarseh, Leon F. McGinnis	System modeling in sysml and system analysis in arena.	WSC	2012	DBLP DOI BibTeX RDF
17	Noura Ouerdi, M'hammed Ziane, Abdelmalek Azizi, Mostafa Azizi	Modeling Embedded Systems with SysML.	ICMCS	2012	DBLP DOI BibTeX RDF
17	Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi	A Probabilistic Verification Framework for SysML Activity Diagrams.	SoMeT	2012	DBLP DOI BibTeX RDF
17	Xiaopu Huang, Qingqing Sun, Jiangwei Li, Minxue Pan, Tian Zhang 0001	An MDE-based approach to the verification of SysML state machine diagram.	Internetware	2012	DBLP DOI BibTeX RDF
17	Shin Nakajima 0001, Satoru Furukawa, Yoshikazu Ueda	Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design.	RTCSA	2012	DBLP DOI BibTeX RDF
17	Carlos Gomez, Julien DeAntoni, Frédéric Mallet	Multi-view Power Modeling Based on UML, MARTE and SysML.	EUROMICRO-SEAA	2012	DBLP DOI BibTeX RDF
17	Mark L. McKelvin Jr., Alejandro Jimenez	Specification and Design of Electrical Flight System Architectures with SysML.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
17	Maddalena Jackson, Michela Muñoz Fernández, Thomas I. McVittie, Oleg V. Sindiy	Architecting The Human Space Flight Program with System Modeling Language (SysML).	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
17	John Day 0001, Kenneth Donahue, Michel D. Ingham, Alexander Kadesch, Andrew Kennedy, Ethan Post	Modeling Off-Nominal Behavior in SysML.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
17	Philipp Helle	Automatic SysML-based safety analysis.	ACES-MB@MoDELS	2012	DBLP DOI BibTeX RDF
17	Thouraya Bouabana-Tebibel, Stuart Harvey Rubin, Miloud Bennama	Formal modeling with SysML.	IRI	2012	DBLP DOI BibTeX RDF
17	Andreas Thoma, Benjamin Kormann, Birgit Vogel-Heuser	Fault-centric system modeling using SysML for reliability testing.	ETFA	2012	DBLP DOI BibTeX RDF
17	Mara Nikolaidou, Georgios-Dimitrios Kapos, Vassilis Dalakas, Dimosthenis Anagnostopoulos	Basic guidelines for simulating SysML models: An experience report.	SoSE	2012	DBLP DOI BibTeX RDF
17	David Morgan, Antony Waldock, David Corne	Efficient systems analysis by combining SysML and coevolution.	SoSE	2012	DBLP DOI BibTeX RDF
17	Ryo Hanai, Hajime Saito, Yoshihiro Nakabo, Kiyoshi Fujiwara, Takuya Ogure, Daichi Mizuguchi, Keiko Homma, Kohtaro Ohba	RT-component based integration for IEC61508 ready system using SysML and IEC61499 function blocks.	SII	2012	DBLP DOI BibTeX RDF
17	Yosr Jarraya, Mourad Debbabi	Formal Specification and Probabilistic Verification of SysML Activity Diagrams.	TASE	2012	DBLP DOI BibTeX RDF
17	Iulia Dragomir, Iulian Ober, David Lesens	A Case Study in Formal System Engineering with SysML.	ICECCS	2012	DBLP DOI BibTeX RDF
17	Samir Ouchani, Otmane Aït Mohamed, Mourad Debbabi	Efficient Probabilistic Abstraction for SysML Activity Diagrams.	SEFM	2012	DBLP DOI BibTeX RDF
17	Yariv Grobshtein, Dov Dori	Generating SysML views from an OPM model: Design and evaluation.	Syst. Eng.	2011	DBLP DOI BibTeX RDF
17	Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin 0001, Yean-Ru Chen, Pao-Ann Hsiung	VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.	J. Comput. Sci. Technol.	2011	DBLP DOI BibTeX RDF
17	Wilfred H. Wells, Waldemar Karwowski, Serge N. Sala-Diakanda, Kent Williams, Tareq Z. Ahram, James A. Pharmer	Application of Systems Modeling Language (SySML) for Cognitive Work Analysis in Systems Engineering Design Process.	J. Univers. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Henson Graves, Yvonne Bijan	Using formal methods with SysML in aerospace design and engineering.	Ann. Math. Artif. Intell.	2011	DBLP DOI BibTeX RDF
17	Dustin Nottage, Steven M. Corns	SysML profiling for handling army base camp planning.	Complex Adaptive Systems	2011	DBLP DOI BibTeX RDF
17	Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux	SysML to UML model transformation for test generation purpose.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
17	Daniel Knorreck, Ludovic Apvrille, Pierre de Saqui-Sannes	TEPE: a SysML language for time-constrained property modeling and formal verification.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
17	Sonja Trapp, Ervin Ramollari, Matthias Heintz 0002, Sebastian Weber, Dimitris Dranidis, Jürgen Börstler	Collaborative Learning of UML and SysML.	Int. J. Eng. Pedagog.	2011	DBLP DOI BibTeX RDF
17	Aleksandr A. Kerzhner, Christiaan J. J. Paredis	Combining SysML and Model Transformations to Support Systems Engineering Analysis.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
17	Christophe Gnaho, Farida Semmak	Une extension SysML pour l'ingénierie des exigences non fonctionnelles orientée but.	Ingénierie des Systèmes d Inf.	2011	DBLP DOI BibTeX RDF
17	Samir Chouali, Ahmed Hammad	Formal verification of components assembly based on SysML and interface automata.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
17	Jonathan Lasalle, Fabien Peureux, Frédéric Fondement	Development of an automated MBT toolchain from UML/SysML models.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
17	Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror	UML/SysML semantic tunings.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
17	Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills	Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.	HASE	2011	DBLP DOI BibTeX RDF
17	Dorus de Lange, Jian Guo, Hans-Peter de Koning	Applicability of SysML to the Early Definition Phase of Space Missions in a Concurrent Environment.	CSDM	2011	DBLP DOI BibTeX RDF
17	Andrea Sindico, Marco Di Natale, Gianpiero Panci	Integrating SysML with Simulink using Open-source Model Transformations.	SIMULTECH	2011	DBLP BibTeX RDF
17	Guoqi Li, Boxuan Wang	SysML Aided Safety Analysis for Safety-Critical Systems.	AICI (1)	2011	DBLP DOI BibTeX RDF
17	Ermeson C. Andrade, Fumio Machida, Dong Seong Kim 0001, Kishor S. Trivedi	Modeling and Analyzing Server System with Rejuvenation through SysML and Stochastic Reward Nets.	ARES	2011	DBLP DOI BibTeX RDF
17	Kenichi Ohara, Kyohei Iwane, Tomohito Takubo, Yasushi Mae, Tatsuo Arai	Component-based robot software design for pick-and-place task described by SysML.	URAI	2011	DBLP DOI BibTeX RDF
17	Chih-Hung Chang, Chih-Wei Lu, Kuo-Fong Kao, William C. Chu, Chao-Tung Yang, Nien-Lin Hsueh, Pao-Ann Hsiung, Chorng-Shiuh Koong	A SysML-Based Requirement Supporting Tool for Embedded Software.	SSIRI (Companion)	2011	DBLP DOI BibTeX RDF
17	Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno	Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis.	SSIRI (Companion)	2011	DBLP DOI BibTeX RDF
17	Pascal Weyprecht, Oliver Rose	Model-driven development of simulation solution based on SysML starting with the simulation core.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
17	Gabriel Pedroza, Ludovic Apvrille, Daniel Knorreck	AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties.	NOTERE	2011	DBLP DOI BibTeX RDF
17	Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Antonio Messina	SafeSlice: a model slicing and design safety inspection tool for SysML.	SIGSOFT FSE	2011	DBLP DOI BibTeX RDF
17	Stanislaw Wrycza, Bartosz Marcinkowski	SysML Requirement Diagrams: Banking Transactional Platform Case Study.	SIGSAND	2011	DBLP DOI BibTeX RDF
17	Sayaka Izukura, Kazuo Yanoo, Takao Osaki, Hiroshi Sakaki, Daichi Kimura, Jianwen Xiang	Applying a Model-Based Approach to IT Systems Development Using SysML Extension.	MoDELS	2011	DBLP DOI BibTeX RDF
17	Matthias Hörl, Martin Hochwallner, Stefan Dierneder, Rudolf Scheidl	Integration of SysML and Simulation Models for Mechatronic Systems.	EUROCAST (2)	2011	DBLP DOI BibTeX RDF
17	Martin Hochwallner, Matthias Hörl, Stefan Dierneder, Rudolf Scheidl	Some Aspects of SysML Application in the Reverse Engineering of Mechatronic Systems.	EUROCAST (2)	2011	DBLP DOI BibTeX RDF
17	Denis Makartetskiy, Riccardo Sisto	An approach to refinement checking of SysML requirements.	ETFA	2011	DBLP DOI BibTeX RDF
17	Laurent Piétrac, Arnaud Lelevé, Sébastien Henry	On the use of SysML for manufacturing execution system design.	ETFA	2011	DBLP DOI BibTeX RDF
17	Henson Graves	Structural Models in Axiomatic SysML.	Description Logics	2011	DBLP BibTeX RDF
17	Razieh Behjati, Tao Yue 0002, Shiva Nejati, Lionel C. Briand, Bran Selic	Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling.	ECMFA	2011	DBLP DOI BibTeX RDF
17	Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda	A SysML Profile for Development and Early Validation of TLM 2.0 Models.	ECMFA	2011	DBLP DOI BibTeX RDF
17	Pietro Colombo, Ferhat Khendek, Luigi Lavazza	Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML.	ECMFA	2011	DBLP DOI BibTeX RDF
17	Fumio Machida, Ermeson C. Andrade, Dong Seong Kim 0001, Kishor S. Trivedi	Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML.	SRDS	2011	DBLP DOI BibTeX RDF
17	Chien-Chung Huang	Discrete event system modeling using SysML and model transformation.		2011	RDF