Search results for "SYSML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini	A Methodological Framework for SysML: a Problem Frames-based Approach.	APSEC	2007	DBLP DOI BibTeX RDF
70	Yosr Jarraya, Mourad Debbabi, Jamal Bentahar	On the Meaning of SysML Activity Diagrams.	ECBS	2009	DBLP DOI BibTeX RDF
70	Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin 0001, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu	VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development.	ICA3PP	2009	DBLP DOI BibTeX RDF
70	Christiaan J. J. Paredis, Thomas Johnson	Using OMG'S SYSML to support simulation.	WSC	2008	DBLP DOI BibTeX RDF
70	Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne	Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.	ECBS	2007	DBLP DOI BibTeX RDF
70	Edward Huang, Randeep Ramamurthy, Leon F. McGinnis	System and simulation modeling using SysML.	WSC	2007	DBLP DOI BibTeX RDF
70	Marcos Vinicius Linhares, Alexandre Jose da Silva, Rômulo Silva de Oliveira	Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit.	ETFA	2006	DBLP DOI BibTeX RDF
63	Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong	SysML-based requirement modeling environment for multicore embedded system.	SAC	2010	DBLP DOI BibTeX RDF	requirement engineering, requirement modeling, model-driven, SysML
63	Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard	Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.	ECMDA-FA	2009	DBLP DOI BibTeX RDF	embedded systems, MARTE, model-based engineering, SysML
53	Chihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung, Nien-Lin Hsueh, Chih-Hung Chang, Chorng-Shiuh Koong, William C. Chu	A Model-Driven Multicore Software Development Environment for Embedded System.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
52	Mara Nikolaidou, Vassilis Dalakas, Loreta Mitsi, Georgios-Dimitrios Kapos, Dimosthenis Anagnostopoulos	A SysML Profile for Classical DEVS Simulators.	ICSEA	2008	DBLP DOI BibTeX RDF
52	Alexander Viehl, Timo Schönwald, Oliver Bringmann 0001, Wolfgang Rosenstiel	Formal performance analysis and simulation of UML/SysML models for ESL design.	DATE	2006	DBLP DOI BibTeX RDF
52	Armando Fox, Sumit Basu (eds.)	Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings	SysML	2008	DBLP BibTeX RDF
52	Charles Sutton, Michael I. Jordan	Probabilistic Inference in Queueing Networks.	SysML	2008	DBLP BibTeX RDF
52	Ioannis C. Avramopoulos, Jennifer Rexford, Robert E. Schapire	From Optimization to Regret Minimization and Back Again.	SysML	2008	DBLP BibTeX RDF
52	Songyun Duan, Shivnath Babu	Empirical Comparison of Techniques for Automated Failure Diagnosis.	SysML	2008	DBLP BibTeX RDF
52	Robert Beverly, Karen R. Sollins	An Internet Protocol Address Clustering Algorithm.	SysML	2008	DBLP BibTeX RDF
52	Peter Bodík, Moisés Goldszmidt, Armando Fox	HiLighter: Automatically Building Robust Signatures of Performance Behavior for Small- and Large-Scale Systems.	SysML	2008	DBLP BibTeX RDF
52	Wei Xu 0012, Ling Huang, Armando Fox, David A. Patterson 0001, Michael I. Jordan	Mining Console Logs for Large-Scale System Problem Detection.	SysML	2008	DBLP BibTeX RDF
52	Kevin Bartz, Jack W. Stokes, John C. Platt, Ryan Kivett, David Grant, Silviu Calinoiu, Gretchen Loihle	Finding Similar Failures Using Callstack Similarity.	SysML	2008	DBLP BibTeX RDF
46	Jürgen Börstler, Dimitris Dranidis, Ervin Ramollari, Sonja Trapp, Matthias Heintz 0002, Sebastian Weber	Sharing and discussing UML modeling exercises in a PLE.	ITiCSE	2010	DBLP DOI BibTeX RDF	UML, blended learning, SYSML
46	Jürgen Börstler, Ömer Faruk Bay, Meltem Huri Baturay, Sonja Trapp, Matthias Heintz 0002, Sebastian Weber	embed4Auto: a PLE for software modelling.	ITiCSE	2010	DBLP DOI BibTeX RDF	blended learning, uml, sysml
46	Bruno Traverson, Christophe Addinquy	Linking Requirements to EIS Specifications Using Correspondence Rules.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Enterprise Informa-tion Systems, Requirements, Viewpoints, RM-ODP, SysML
35	Matthew Clayton Hause, Francis Thom	An Integrated MDA Approach with SysML and UML.	ICECCS	2008	DBLP DOI BibTeX RDF
35	Michel dos Santos Soares, Jos L. M. Vrancken	Requirements specification and modeling through SysML.	SMC	2007	DBLP DOI BibTeX RDF
35	Yves Vanderperren, Wim Dehaene	From UML/SysML to Matlab/Simulink: current state and future perspectives.	DATE	2006	DBLP DOI BibTeX RDF
35	Yves Vanderperren, Wim Dehaene	UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design.	DATE	2005	DBLP DOI BibTeX RDF
34	Samir Chouali	Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles. (Contributions to the rigorous design of component-based systems using SysML models and formal approaches).		2020	RDF
34	Hamida Bouaziz	Adaptation of SysML Blocks and Verification of Temporal Properties. (Adptation des Blocs sysML et verification des propriétés temporelles).		2016	RDF
34	Abbas Abdulhameed	Combining SysML and SystemC to Simulate and Verify Complex Systems. (Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes).		2016	RDF
34	Oscar Carrillo Rozo	Formal and incremental verification of SysML for the design of component-based system. (Vérification formelle et incrémentale de spécifications SysML pour la conception de systèmes à base de composants).		2015	RDF
34	Jean-Marie Gauthier	Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation. (Combinaison des domaines discret et continu pour la simulation et la génération de tests à partir de modèle SysML).		2015	RDF
34	Samir Ouchani	A Security Verification Framework for SysML Activity Diagrams. (Un cadre de vérification de la sécurité pour les diagrammes d'activité SysML).		2013	RDF
34	Jonathan Lasalle	Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués. (Automatic tests generation from SysML models for the functionnal validation of embedded).		2012	RDF
18	Moisés Goldszmidt, Mihai Budiu, Yue Zhang, Michael Pechuk	Toward automatic policy refinement in repair services for large distributed systems.	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
18	Perry Alexander	Rosetta: Standardization at the System Level.	Computer	2009	DBLP DOI BibTeX RDF
18	Walter Abrahão dos Santos, Bruno B. F. Leonor, Stephan Stephany	A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design.	ER	2009	DBLP DOI BibTeX RDF
18	Christos Kloukinas	Better abstractions for reusable components & architectures.	ICSE Companion	2009	DBLP DOI BibTeX RDF
18	Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Xuandong Li	An MDE-based method for bridging different design notations.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	UML, Formal methods, LOTOS, MDE
18	Hung Ledang, Hubert Dubois, Sébastien Gérard	Towards a traceability model in a MARTE-based methodology for real-time embedded systems.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Traceability, MDE, Requirement management
18	Jörn Guy Süß, Adrian Pop, Peter Fritzson, Luke Wildman	Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	MDT, Testing, MDA, SCADA, EMF, Modelica
18	Timo Vepsäläinen, David Hästbacka, Seppo Kuikka	Tool Support for the UML Automation Profile - For Domain-Specific Software Development in Manufacturing.	ICSEA	2008	DBLP DOI BibTeX RDF
18	Augustin Kebemou, Ina Schieferdecker	The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures.	DIPES	2008	DBLP DOI BibTeX RDF	design, architecture, partitioning, mapping, automotive systems
18	M. Schacher	Integrated Enterprise Modelling Based on OMG Specifications.	EDOC	2008	DBLP DOI BibTeX RDF
18	Arda Goknil, Ivan Kurtev, Klaas van den Berg	A Metamodeling Approach for Reasoning about Requirements.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	requirements metamodels, model customization, reasoning
18	Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur	Temporal Verification in Secure Group Communication System Design.	SECURWARE	2007	DBLP DOI BibTeX RDF
18	Philippe Cuenot, De-Jiu Chen, Sébastien Gérard, Henrik Lönn, Mark-Oliver Reiser, David Servat, Carl-Johan Sjöstedt, Ramin Tavakoli Kolagari, Martin Törngren, Matthias Weber 0001	Managing Complexity of Automotive Electronics Using the EAST-ADL.	ICECCS	2007	DBLP DOI BibTeX RDF
18	Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne	A Unified Approach for Verification and Validation of Systems and Software Engineering Models.	ECBS	2006	DBLP DOI BibTeX RDF
18	Wolfgang Mueller, Yves Vanderperren	UML and model-driven development for SoC design.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	simulation, UML, SoC, tools, SystemC, UML profiles, ESL design
17	Chris Swickline, Thomas A. Mazzuchi, Shahram Sarkani	A methodology for developing SoS architectures using SysML model federation.	Syst. Eng.	2024	DBLP DOI BibTeX RDF
17	Birgit Vogel-Heuser, Mingxi Zhang, Bjarne Lahrsen, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann	SysML' - incorporating component properties in early design phases of automated production systems.	Autom.	2024	DBLP DOI BibTeX RDF
17	Zirui Li, Faizan Faheem, Stephan Husung	Collaborative Model-Based Systems Engineering Using Dataspaces and SysML v2.	Syst.	2024	DBLP DOI BibTeX RDF
17	Lasse Beers, Hamied Nabizada, Maximilian Weigand, Felix Gehlhoff, Alexander Fay	A SysML Profile for the Standardized Description of Processes during System Development.	CoRR	2024	DBLP DOI BibTeX RDF
17	James S. Wheaton, Daniel R. Herber	Digital requirements engineering with an INCOSE-derived SysML meta-model.	CoRR	2024	DBLP DOI BibTeX RDF
17	Christos Kotronis, Mara Nikolaidou, Anargyros Tsadimas, Christos Michalakelis, Dimosthenis Anagnostopoulos	Extending SysML to Integrate Cost Analysis Into Model-Based Systems Engineering.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
17	Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith	Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Fadwa Rekik, Saadia Dhouib, Quang-Duy Nguyen	Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0.	J. Object Technol.	2023	DBLP DOI BibTeX RDF
17	Tauany L. S. Santos, Michel S. Soares	A survey on what users think about SysML.	Syst. Eng.	2023	DBLP DOI BibTeX RDF
17	Benedek Horváth, Vince Molnár, Bence Graics, Ákos Hajdu, István Ráth, Ákos Horváth 0001, Robert Karban, Gelys Trancho, Zoltán Micskei	Pragmatic verification and validation of industrial executable SysML models.	Syst. Eng.	2023	DBLP DOI BibTeX RDF
17	Tomasz Winiarski	MeROS: SysML-Based Metamodel for ROS-Based Systems.	IEEE Access	2023	DBLP DOI BibTeX RDF
17	Xinquan Wu, Xuefeng Yan, Xingchan Li, Yongzhen Wang	Simulating hybrid SysML models: a model transformation approach under the DEVS framework.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
17	Mostafa Lutfi, Ricardo Valerdi	Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example.	Syst.	2023	DBLP DOI BibTeX RDF
17	Layse Santos Souza, Michel S. Soares	Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications.	J. Univers. Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Simon Rädler, Jürgen Mangler, Stefanie Rinderle-Ma	Model-Driven Engineering Method to Support the Formalization of Machine Learning using SysML.	CoRR	2023	DBLP DOI BibTeX RDF
17	Simon Rädler, Matthias Rupp, Eugen Rigger, Stefanie Rinderle-Ma	Code Generation for Machine Learning using Model-Driven Engineering and SysML.	CoRR	2023	DBLP DOI BibTeX RDF
17	Sanford Friedenthal	Future Directions for MBSE with SysML v2.	MODELSWARD	2023	DBLP DOI BibTeX RDF
17	Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert	Mutation of Formally Verified SysML Models.	MODELSWARD	2023	DBLP DOI BibTeX RDF
17	Philippe Barbie, Martin Becker 0002, Andreas Schäfer	InTra: A Pragmatic Approach of Using Rule-Based Model Transformation to Reduce Complexity of UML and SysML Models.	MODELSWARD	2023	DBLP DOI BibTeX RDF
17	Birgit Vogel-Heuser, Dominik Hujo, Marcus Volpert, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann	Formalizing Selected Mechatronic Component's Constraints in SysML Models.	IECON	2023	DBLP DOI BibTeX RDF
17	Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang	A Tool for Transforming SysML State Machine into Uppaal Automatically.	SMC	2023	DBLP DOI BibTeX RDF
17	DeAndre A. Johnson, Rayshaun L. Wheeler, Megan C. Marcellin, Negin Moghadasi, Richard L. Altman, Thomas L. Polmateer, James H. Lambert	Integration of Risk Sources and Risk Controls to SysML Requirements Diagrams With Application to Sustainable Aviation Fuels.	IEEM	2023	DBLP DOI BibTeX RDF
17	Perla Tannoury, Samir Chouali, Ahmed Hammad	Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components.	FACS	2023	DBLP DOI BibTeX RDF
17	Jordan Epp, Thomas Robert 0006, Olivier Ruch, Alison Olechowski	Towards SysML v2 as a Variability Modeling Language.	MoDELS (Companion)	2023	DBLP DOI BibTeX RDF
17	Yizhe Zhang 0004, Georg Jacobs, Jia Zhao, Joerg K. Berroth, Gregor Hoepfner	Development of an OWL Ontology Based on the Function-Oriented System Architecture to Support Data Synchronization Between SysML and Domain Models.	KEOD	2023	DBLP DOI BibTeX RDF
17	Heinrich Wagner, Lukas Portenlänger, Claudio Zuccaro	Using SysML Models as Digital Twins for Early Validation of Modular Systems and Systems of Systems.	SoSE	2023	DBLP DOI BibTeX RDF
17	Steven J. Silverman, Trey Jiron	Quantum MBSE and Quantum SysML.	MILCOM	2023	DBLP DOI BibTeX RDF
17	Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani	Artificial Intelligence Based SysML Block Diagram Extension and Evolution for Product Lines.	AICCSA	2023	DBLP DOI BibTeX RDF
17	Candice Normalee Chambers, Parth Ganeriwala, Siddhartha Bhattacharyya, Chiradeep Sen, Nasheen Nur	Towards Knowledge Extraction and Parsing of XML Metadata for SysML System Architecture Modeling.	UEMCON	2023	DBLP DOI BibTeX RDF
17	Guillermo Aranda López King	SysML-based configuration support for structural variability in a train braking system product line		2023	RDF
17	Nico Jansen, Jérôme Pfeiffer, Bernhard Rumpe, David Schmalzing, Andreas Wortmann 0001	The Language of SysML v2 under the Magnifying Glass.	J. Object Technol.	2022	DBLP DOI BibTeX RDF
17	Liu Yue, Zhao Chun, Zhang Lin	A modeling method of algorithm-hardware based on SysML.	Int. J. Model. Simul. Sci. Comput.	2022	DBLP DOI BibTeX RDF
17	Tao Xing, Chenchu Zhou, Xing Shen, Dawei Wu, Qian Li, Yusheng Liu	A Web-Based Collaborative Method for SysML Modeling.	J. Comput. Inf. Sci. Eng.	2022	DBLP DOI BibTeX RDF
17	Niamat Ullah Ibne Hossain, Mostafa Lutfi, Ifaz Ahmed, Aditya Akundi, Daniel Cobb	Modeling and Analysis of Unmanned Aerial Vehicle System Leveraging Systems Modeling Language (SysML).	Syst.	2022	DBLP DOI BibTeX RDF
17	Jian Xie 0004, Wenan Tan, Zhibin Yang, Shuming Li, Linquan Xing, Zhiqiu Huang	SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.	Connect. Sci.	2022	DBLP DOI BibTeX RDF
17	Birgit Vogel-Heuser, Daniel Schütz, Timo Frank, Christoph Legat	Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach.	CoRR	2022	DBLP DOI BibTeX RDF
17	Maria Stella de Biase, Stefano Marrone 0001, Angelo Palladino	Towards Automatic Model Completion: from Requirements to SysML State Machines.	CoRR	2022	DBLP DOI BibTeX RDF
17	Amal Ahmed Anda, Daniel Amyot	Self-Adaptation Driven by SysML and Goal Models - A Literature Review.	e Informatica Softw. Eng. J.	2022	DBLP DOI BibTeX RDF
17	Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino	Dependency Graphs to Boost the Verification of SysML Models.	MODELSWARD (Revised Selected Papers)	2022	DBLP DOI BibTeX RDF
17	Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino	SysML Models Verification Relying on Dependency Graphs.	MODELSWARD	2022	DBLP DOI BibTeX RDF
17	Bastien Sultan, Ludovic Apvrille, Philippe Jaillon	Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec.	MODELSWARD	2022	DBLP DOI BibTeX RDF
17	Guohuan Ding, Jing Liu 0012	SysML Flow Model.	APSEC	2022	DBLP DOI BibTeX RDF
17	Huiyu Liu, Jing Liu 0012, Wei Yin, Haiying Sun, Chenchen Yang	Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language.	QRS	2022	DBLP DOI BibTeX RDF
17	Tobias Bachmann, Djurre van der Wal, Machiel van der Bijl, Daan van der Meij, Ana Oprescu	Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems.	ICST	2022	DBLP DOI BibTeX RDF
17	Khalil Aloui, Moncef Hammadi, Amir Guizani, Mohamed Haddar, Thierry Soriano	A new SysML Model for UAV Swarm Modeling: UavSwarmML.	SysCon	2022	DBLP DOI BibTeX RDF
17	Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto	Mind Maps Upstream SysML v2 Diagrams.	SysCon	2022	DBLP DOI BibTeX RDF
17	Alexander Hayward, Maximilian Rappl, Alexander Fay	A SysML-based Function-Centered Approach for the Modeling of System Groups for Collaborative Cyber-Physical Systems.	SysCon	2022	DBLP DOI BibTeX RDF
17	Daniel R. Herber, Jayesh B. Narsinghani, Kamran Eftekhari Shahroudi	Model-Based Structured Requirements in SysML.	SysCon	2022	DBLP DOI BibTeX RDF
17	Orion Staskal, Josh Simac, Logan Swayne, Kristin Y. Rozier	Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas.	COMPSAC	2022	DBLP DOI BibTeX RDF
17	Yupeng Li, Hailian Zhang, Jiyuan Lv, Yusheng Liu	XMI-Based SysML Model Transformation.	CRC	2022	DBLP DOI BibTeX RDF
17	Bo Huang, Yubiao Liu, Xinfeng Wu, Jiyuan Lv, Yusheng Liu	Design and Implementation of SysML Activity Diagram Simulation Function Based on fUML Specification.	CRC	2022	DBLP DOI BibTeX RDF