The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SYSML with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2005-2006 (15) 2007 (15) 2008 (25) 2009-2010 (33) 2011 (36) 2012 (39) 2013 (57) 2014 (46) 2015 (43) 2016 (36) 2017 (17) 2018 (36) 2019 (32) 2020 (23) 2021 (31) 2022 (32) 2023 (24) 2024 (6)
Publication types (Num. hits)
article(121) book(6) incollection(2) inproceedings(399) phdthesis(17) proceedings(1)
Venues (Conferences, Journals, ...)
SysCon(23) MODELSWARD(20) CoRR(14) ETFA(13) Syst. Eng.(11) Softw. Syst. Model.(9) ICEIS (2)(8) Innov. Syst. Softw. Eng.(8) SoSE(8) SysML(8) WSC(8) FDL(7) ECMFA(6) CASE(5) CSER(5) ICECCS(5) More (+10 of total 259)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 43 occurrences of 35 keywords

Results
Found 546 publication records. Showing 546 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
88Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini A Methodological Framework for SysML: a Problem Frames-based Approach. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Yosr Jarraya, Mourad Debbabi, Jamal Bentahar On the Meaning of SysML Activity Diagrams. Search on Bibsonomy ECBS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
70Pao-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. Search on Bibsonomy ICA3PP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
70Christiaan J. J. Paredis, Thomas Johnson Using OMG'S SYSML to support simulation. Search on Bibsonomy WSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
70Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. Search on Bibsonomy ECBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Edward Huang, Randeep Ramamurthy, Leon F. McGinnis System and simulation modeling using SysML. Search on Bibsonomy WSC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Marcos Vinicius Linhares, Alexandre Jose da Silva, Rômulo Silva de Oliveira Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit. Search on Bibsonomy ETFA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
63Chih-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. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF requirement engineering, requirement modeling, model-driven, SysML
63Huáscar Espinoza, Daniela Cancila, Bran Selic, Sébastien Gérard Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. Search on Bibsonomy ECMDA-FA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF embedded systems, MARTE, model-based engineering, SysML
53Chihhsiong 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. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Mara Nikolaidou, Vassilis Dalakas, Loreta Mitsi, Georgios-Dimitrios Kapos, Dimosthenis Anagnostopoulos A SysML Profile for Classical DEVS Simulators. Search on Bibsonomy ICSEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Alexander Viehl, Timo Schönwald, Oliver Bringmann 0001, Wolfgang Rosenstiel Formal performance analysis and simulation of UML/SysML models for ESL design. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Armando 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 Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
52Charles Sutton, Michael I. Jordan Probabilistic Inference in Queueing Networks. Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
52Ioannis C. Avramopoulos, Jennifer Rexford, Robert E. Schapire From Optimization to Regret Minimization and Back Again. Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
52Songyun Duan, Shivnath Babu Empirical Comparison of Techniques for Automated Failure Diagnosis. Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
52Robert Beverly, Karen R. Sollins An Internet Protocol Address Clustering Algorithm. Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
52Peter Bodík, Moisés Goldszmidt, Armando Fox HiLighter: Automatically Building Robust Signatures of Performance Behavior for Small- and Large-Scale Systems. Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
52Wei Xu 0012, Ling Huang, Armando Fox, David A. Patterson 0001, Michael I. Jordan Mining Console Logs for Large-Scale System Problem Detection. Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
52Kevin Bartz, Jack W. Stokes, John C. Platt, Ryan Kivett, David Grant, Silviu Calinoiu, Gretchen Loihle Finding Similar Failures Using Callstack Similarity. Search on Bibsonomy SysML The full citation details ... 2008 DBLP  BibTeX  RDF
46Jürgen Börstler, Dimitris Dranidis, Ervin Ramollari, Sonja Trapp, Matthias Heintz 0002, Sebastian Weber Sharing and discussing UML modeling exercises in a PLE. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF UML, blended learning, SYSML
46Jürgen Börstler, Ömer Faruk Bay, Meltem Huri Baturay, Sonja Trapp, Matthias Heintz 0002, Sebastian Weber embed4Auto: a PLE for software modelling. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF blended learning, uml, sysml
46Bruno Traverson, Christophe Addinquy Linking Requirements to EIS Specifications Using Correspondence Rules. Search on Bibsonomy ICEIS (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Enterprise Informa-tion Systems, Requirements, Viewpoints, RM-ODP, SysML
35Matthew Clayton Hause, Francis Thom An Integrated MDA Approach with SysML and UML. Search on Bibsonomy ICECCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Michel dos Santos Soares, Jos L. M. Vrancken Requirements specification and modeling through SysML. Search on Bibsonomy SMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Yves Vanderperren, Wim Dehaene From UML/SysML to Matlab/Simulink: current state and future perspectives. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Yves Vanderperren, Wim Dehaene UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Samir 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). Search on Bibsonomy 2020   RDF
34Hamida Bouaziz Adaptation of SysML Blocks and Verification of Temporal Properties. (Adptation des Blocs sysML et verification des propriétés temporelles). Search on Bibsonomy 2016   RDF
34Abbas 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). Search on Bibsonomy 2016   RDF
34Oscar 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). Search on Bibsonomy 2015   RDF
34Jean-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). Search on Bibsonomy 2015   RDF
34Samir Ouchani A Security Verification Framework for SysML Activity Diagrams. (Un cadre de vérification de la sécurité pour les diagrammes d'activité SysML). Search on Bibsonomy 2013   RDF
34Jonathan 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). Search on Bibsonomy 2012   RDF
18Moisés Goldszmidt, Mihai Budiu, Yue Zhang, Michael Pechuk Toward automatic policy refinement in repair services for large distributed systems. Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
18Perry Alexander Rosetta: Standardization at the System Level. Search on Bibsonomy Computer The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Walter Abrahão dos Santos, Bruno B. F. Leonor, Stephan Stephany A Knowledge-Based and Model-Driven Requirements Engineering Approach to Conceptual Satellite Design. Search on Bibsonomy ER The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Christos Kloukinas Better abstractions for reusable components & architectures. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Xuandong Li An MDE-based method for bridging different design notations. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF UML, Formal methods, LOTOS, MDE
18Hung Ledang, Hubert Dubois, Sébastien Gérard Towards a traceability model in a MARTE-based methodology for real-time embedded systems. Search on Bibsonomy Innov. Syst. Softw. Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Traceability, MDE, Requirement management
18Jörn Guy Süß, Adrian Pop, Peter Fritzson, Luke Wildman Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MDT, Testing, MDA, SCADA, EMF, Modelica
18Timo Vepsäläinen, David Hästbacka, Seppo Kuikka Tool Support for the UML Automation Profile - For Domain-Specific Software Development in Manufacturing. Search on Bibsonomy ICSEA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Augustin Kebemou, Ina Schieferdecker The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures. Search on Bibsonomy DIPES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF design, architecture, partitioning, mapping, automotive systems
18M. Schacher Integrated Enterprise Modelling Based on OMG Specifications. Search on Bibsonomy EDOC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Arda Goknil, Ivan Kurtev, Klaas van den Berg A Metamodeling Approach for Reasoning about Requirements. Search on Bibsonomy ECMDA-FA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF requirements metamodels, model customization, reasoning
18Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes, Thierry Villemur Temporal Verification in Secure Group Communication System Design. Search on Bibsonomy SECURWARE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Philippe 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. Search on Bibsonomy ICECCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne A Unified Approach for Verification and Validation of Systems and Software Engineering Models. Search on Bibsonomy ECBS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Wolfgang Mueller, Yves Vanderperren UML and model-driven development for SoC design. Search on Bibsonomy CODES+ISSS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF simulation, UML, SoC, tools, SystemC, UML profiles, ESL design
17Chris Swickline, Thomas A. Mazzuchi, Shahram Sarkani A methodology for developing SoS architectures using SysML model federation. Search on Bibsonomy Syst. Eng. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Birgit 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. Search on Bibsonomy Autom. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Zirui Li, Faizan Faheem, Stephan Husung Collaborative Model-Based Systems Engineering Using Dataspaces and SysML v2. Search on Bibsonomy Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Lasse Beers, Hamied Nabizada, Maximilian Weigand, Felix Gehlhoff, Alexander Fay A SysML Profile for the Standardized Description of Processes during System Development. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17James S. Wheaton, Daniel R. Herber Digital requirements engineering with an INCOSE-derived SysML meta-model. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Christos Kotronis, Mara Nikolaidou, Anargyros Tsadimas, Christos Michalakelis, Dimosthenis Anagnostopoulos Extending SysML to Integrate Cost Analysis Into Model-Based Systems Engineering. Search on Bibsonomy IEEE Trans. Engineering Management The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
17Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning. Search on Bibsonomy SN Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Fadwa Rekik, Saadia Dhouib, Quang-Duy Nguyen Bridging the Gap between SysML and OPC UA Information Models for Industry 4.0. Search on Bibsonomy J. Object Technol. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Tauany L. S. Santos, Michel S. Soares A survey on what users think about SysML. Search on Bibsonomy Syst. Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Benedek 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. Search on Bibsonomy Syst. Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Tomasz Winiarski MeROS: SysML-Based Metamodel for ROS-Based Systems. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Xinquan Wu, Xuefeng Yan, Xingchan Li, Yongzhen Wang Simulating hybrid SysML models: a model transformation approach under the DEVS framework. Search on Bibsonomy J. Supercomput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Mostafa Lutfi, Ricardo Valerdi Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example. Search on Bibsonomy Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Layse Santos Souza, Michel S. Soares Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications. Search on Bibsonomy J. Univers. Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Simon Rädler, Jürgen Mangler, Stefanie Rinderle-Ma Model-Driven Engineering Method to Support the Formalization of Machine Learning using SysML. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Simon Rädler, Matthias Rupp, Eugen Rigger, Stefanie Rinderle-Ma Code Generation for Machine Learning using Model-Driven Engineering and SysML. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Sanford Friedenthal Future Directions for MBSE with SysML v2. Search on Bibsonomy MODELSWARD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert Mutation of Formally Verified SysML Models. Search on Bibsonomy MODELSWARD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Philippe 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. Search on Bibsonomy MODELSWARD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Birgit Vogel-Heuser, Dominik Hujo, Marcus Volpert, Stefan Landler, Michael Otto, Karsten Stahl, Markus Zimmermann Formalizing Selected Mechatronic Component's Constraints in SysML Models. Search on Bibsonomy IECON The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang A Tool for Transforming SysML State Machine into Uppaal Automatically. Search on Bibsonomy SMC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17DeAndre 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. Search on Bibsonomy IEEM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Perla Tannoury, Samir Chouali, Ahmed Hammad Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components. Search on Bibsonomy FACS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Jordan Epp, Thomas Robert 0006, Olivier Ruch, Alison Olechowski Towards SysML v2 as a Variability Modeling Language. Search on Bibsonomy MoDELS (Companion) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Yizhe 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. Search on Bibsonomy KEOD The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Heinrich Wagner, Lukas Portenlänger, Claudio Zuccaro Using SysML Models as Digital Twins for Early Validation of Modular Systems and Systems of Systems. Search on Bibsonomy SoSE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Steven J. Silverman, Trey Jiron Quantum MBSE and Quantum SysML. Search on Bibsonomy MILCOM The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Olfa Ferchichi, Raoudha Beltaifa, Lamia Labed Jilani Artificial Intelligence Based SysML Block Diagram Extension and Evolution for Product Lines. Search on Bibsonomy AICCSA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Candice Normalee Chambers, Parth Ganeriwala, Siddhartha Bhattacharyya, Chiradeep Sen, Nasheen Nur Towards Knowledge Extraction and Parsing of XML Metadata for SysML System Architecture Modeling. Search on Bibsonomy UEMCON The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
17Guillermo Aranda López King SysML-based configuration support for structural variability in a train braking system product line Search on Bibsonomy 2023   RDF
17Nico Jansen, Jérôme Pfeiffer, Bernhard Rumpe, David Schmalzing, Andreas Wortmann 0001 The Language of SysML v2 under the Magnifying Glass. Search on Bibsonomy J. Object Technol. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Liu Yue, Zhao Chun, Zhang Lin A modeling method of algorithm-hardware based on SysML. Search on Bibsonomy Int. J. Model. Simul. Sci. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Tao Xing, Chenchu Zhou, Xing Shen, Dawei Wu, Qian Li, Yusheng Liu A Web-Based Collaborative Method for SysML Modeling. Search on Bibsonomy J. Comput. Inf. Sci. Eng. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Niamat Ullah Ibne Hossain, Mostafa Lutfi, Ifaz Ahmed, Aditya Akundi, Daniel Cobb Modeling and Analysis of Unmanned Aerial Vehicle System Leveraging Systems Modeling Language (SysML). Search on Bibsonomy Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Jian 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. Search on Bibsonomy Connect. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Birgit Vogel-Heuser, Daniel Schütz, Timo Frank, Christoph Legat Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Maria Stella de Biase, Stefano Marrone 0001, Angelo Palladino Towards Automatic Model Completion: from Requirements to SysML State Machines. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Amal Ahmed Anda, Daniel Amyot Self-Adaptation Driven by SysML and Goal Models - A Literature Review. Search on Bibsonomy e Informatica Softw. Eng. J. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino Dependency Graphs to Boost the Verification of SysML Models. Search on Bibsonomy MODELSWARD (Revised Selected Papers) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino SysML Models Verification Relying on Dependency Graphs. Search on Bibsonomy MODELSWARD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Bastien Sultan, Ludovic Apvrille, Philippe Jaillon Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. Search on Bibsonomy MODELSWARD The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Guohuan Ding, Jing Liu 0012 SysML Flow Model. Search on Bibsonomy APSEC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Huiyu Liu, Jing Liu 0012, Wei Yin, Haiying Sun, Chenchen Yang Safety SysML: An Executable Safety-Critical Avionics Requirement Modeling Language. Search on Bibsonomy QRS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Tobias 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. Search on Bibsonomy ICST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Khalil Aloui, Moncef Hammadi, Amir Guizani, Mohamed Haddar, Thierry Soriano A new SysML Model for UAV Swarm Modeling: UavSwarmML. Search on Bibsonomy SysCon The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Pierre de Saqui-Sannes, Rob A. Vingerhoeds, Nasrine Damouche, Eric Razafimahazo, Ombeline Aïello, Maisa Cietto Mind Maps Upstream SysML v2 Diagrams. Search on Bibsonomy SysCon The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Alexander Hayward, Maximilian Rappl, Alexander Fay A SysML-based Function-Centered Approach for the Modeling of System Groups for Collaborative Cyber-Physical Systems. Search on Bibsonomy SysCon The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Daniel R. Herber, Jayesh B. Narsinghani, Kamran Eftekhari Shahroudi Model-Based Structured Requirements in SysML. Search on Bibsonomy SysCon The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Orion Staskal, Josh Simac, Logan Swayne, Kristin Y. Rozier Translating SysML Activity Diagrams for nuXmv Verification of an Autonomous Pancreas. Search on Bibsonomy COMPSAC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Yupeng Li, Hailian Zhang, Jiyuan Lv, Yusheng Liu XMI-Based SysML Model Transformation. Search on Bibsonomy CRC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
17Bo Huang, Yubiao Liu, Xinfeng Wu, Jiyuan Lv, Yusheng Liu Design and Implementation of SysML Activity Diagram Simulation Function Based on fUML Specification. Search on Bibsonomy CRC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 546 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license