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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 25-32, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
70 | Yosr Jarraya, Mourad Debbabi, Jamal Bentahar |
On the Meaning of SysML Activity Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 95-105, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP ![In: Algorithms and Architectures for Parallel Processing, 9th International Conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009. Proceedings, pp. 303-314, 2009, Springer, 978-3-642-03094-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
70 | Christiaan J. J. Paredis, Thomas Johnson |
Using OMG'S SYSML to support simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 2350-2352, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA, pp. 515-522, 2007, IEEE Computer Society, 0-7695-2772-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
70 | Edward Huang, Randeep Ramamurthy, Leon F. McGinnis |
System and simulation modeling using SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference, WSC 2007, Washington, DC, USA, December 9-12, 2007, pp. 796-803, 2007, WSC, 1-4244-1306-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 145-152, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2224-2228, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings, pp. 98-113, 2009, Springer, 978-3-642-02673-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 261-268, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
52 | Mara Nikolaidou, Vassilis Dalakas, Loreta Mitsi, Georgios-Dimitrios Kapos, Dimosthenis Anagnostopoulos |
A SysML Profile for Classical DEVS Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta, pp. 445-450, 2008, IEEE Computer Society, 978-0-7695-3372-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 242-247, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![USENIX Association The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
52 | Charles Sutton, Michael I. Jordan |
Probabilistic Inference in Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![In: Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
52 | Ioannis C. Avramopoulos, Jennifer Rexford, Robert E. Schapire |
From Optimization to Regret Minimization and Back Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![In: Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
52 | Songyun Duan, Shivnath Babu |
Empirical Comparison of Techniques for Automated Failure Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![In: Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
52 | Robert Beverly, Karen R. Sollins |
An Internet Protocol Address Clustering Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![In: Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![In: Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![In: Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysML ![In: Third Workshop on Tackling Computer Systems Problems with Machine Learning Techniques, SysML 2008, December 11, 2008, San Diego, CA, USA, Proceedings, 2008, USENIX Association. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 301, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 15th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2010, Bilkent, Ankara, Turkey, June 26-30, 2010, pp. 322, 2010, ACM, 978-1-60558-729-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
blended learning, uml, sysml |
46 | Bruno Traverson, Christophe Addinquy |
Linking Requirements to EIS Specifications Using Correspondence Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems, 9th International Conference, ICEIS 2007, Funchal, Madeira, Portugal, June 12-16, 2007, Revised Selected Papers, pp. 276-285, 2007, Springer, 978-3-540-88709-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 249-254, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Michel dos Santos Soares, Jos L. M. Vrancken |
Requirements specification and modeling through SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 1735-1740, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Yves Vanderperren, Wim Dehaene |
From UML/SysML to Matlab/Simulink: current state and future perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 93, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Yves Vanderperren, Wim Dehaene |
UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 716-717, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
18 | Moisés Goldszmidt, Mihai Budiu, Yue Zhang, Michael Pechuk |
Toward automatic policy refinement in repair services for large distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 44(2), pp. 47-51, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Perry Alexander |
Rosetta: Standardization at the System Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 42(1), pp. 108-110, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 487-500, 2009, Springer, 978-3-642-04839-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Christos Kloukinas |
Better abstractions for reusable components & architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, pp. 199-202, 2009, IEEE, 978-1-4244-3494-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 203-213, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 189-193, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 19th Australian Software Engineering Conference (ASWEC 2008), March 25-28, 2008, Perth, Australia, pp. 149-159, 2008, IEEE Computer Society, 978-0-7695-3100-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta, pp. 43-50, 2008, IEEE Computer Society, 978-0-7695-3372-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy, pp. 89-100, 2008, Springer, 978-0-387-09660-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
design, architecture, partitioning, mapping, automotive systems |
18 | M. Schacher |
Integrated Enterprise Modelling Based on OMG Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 12th International IEEE Enterprise Distributed Object Computing Conference, ECOC 2008, 15-19 September 2008, Munich, Germany, 2008, IEEE Computer Society, 978-0-7695-3373-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Arda Goknil, Ivan Kurtev, Klaas van den Berg |
A Metamodeling Approach for Reasoning about Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings, pp. 310-325, 2008, Springer, 978-3-540-69095-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SECURWARE ![In: Proceedings of the First International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2007, October 14-20, 2007, Valencia, Spain, pp. 175-180, 2007, IEEE Computer Society, 0-7695-2989-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 353-358, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, pp. 409-418, 2006, IEEE Computer Society, 0-7695-2546-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Wolfgang Mueller, Yves Vanderperren |
UML and model-driven development for SoC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2006, Seoul, Korea, October 22-25, 2006, pp. 1, 2006, ACM, 1-59593-370-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 27(2), pp. 368-385, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 72(1), pp. 59-72, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Zirui Li, Faizan Faheem, Stephan Husung |
Collaborative Model-Based Systems Engineering Using Dataspaces and SysML v2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 12(1), pp. 18, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.06723, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
17 | James S. Wheaton, Daniel R. Herber |
Digital requirements engineering with an INCOSE-derived SysML meta-model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.16330, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Engineering Management ![In: IEEE Trans. Engineering Management 71, pp. 2865-2880, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 4(2), pp. 175, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 22(2), pp. 1-15, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Tauany L. S. Santos, Michel S. Soares |
A survey on what users think about SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 26(4), pp. 379-392, July 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Eng. ![In: Syst. Eng. 26(6), pp. 693-714, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Tomasz Winiarski |
MeROS: SysML-Based Metamodel for ROS-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 82802-82815, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(2), pp. 2010-2030, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Mostafa Lutfi, Ricardo Valerdi |
Integration of SysML and Virtual Reality Environment: A Ground Based Telescope System Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 11(4), pp. 189, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Layse Santos Souza, Michel S. Soares |
Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 29(10), pp. 1217-1250, October 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.04495, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.05584, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Sanford Friedenthal |
Future Directions for MBSE with SysML v2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023., pp. 5-9, 2023, SCITEPRESS, 978-989-758-633-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert |
Mutation of Formally Verified SysML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023., pp. 31-42, 2023, SCITEPRESS, 978-989-758-633-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023., pp. 97-104, 2023, SCITEPRESS, 978-989-758-633-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 49th Annual Conference of the IEEE Industrial Electronics Society, IECON 2023, Singapore, October 16-19, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-3182-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang |
A Tool for Transforming SysML State Machine into Uppaal Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023, Honolulu, Oahu, HI, USA, October 1-4, 2023, pp. 2471-2476, 2023, IEEE, 979-8-3503-3702-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEM ![In: IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2023, Singapore, December 18-21, 2023, pp. 443-449, 2023, IEEE, 979-8-3503-2315-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers, pp. 84-102, 2023, Springer, 978-3-031-52182-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jordan Epp, Thomas Robert 0006, Olivier Ruch, Alison Olechowski |
Towards SysML v2 as a Variability Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, Västerås, Sweden, October 1-6, 2023, pp. 251-256, 2023, IEEE, 979-8-3503-2498-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: Proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023, Volume 2: KEOD, Rome, Italy, November 13-15, 2023., pp. 143-154, 2023, SCITEPRESS, 978-989-758-671-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 18th Annual System of Systems Engineering Conference, SoSe 2023, Lille, France, June 14-16, 2023, pp. 1-7, 2023, IEEE, 979-8-3503-2723-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Steven J. Silverman, Trey Jiron |
Quantum MBSE and Quantum SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILCOM ![In: IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023, pp. 95-99, 2023, IEEE, 979-8-3503-2181-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 20th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2023, Giza, Egypt, December 4-7, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-1943-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UEMCON ![In: 14th IEEE Annual Ubiquitous Computing, Electronics & Mobile Communication Conference, UEMCON 2023, New York, NY, USA, October 12-14, 2023, pp. 564-570, 2023, IEEE, 979-8-3503-0413-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 21(3), pp. 3:1-15, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Liu Yue, Zhao Chun, Zhang Lin |
A modeling method of algorithm-hardware based on SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 13(3), pp. 2250014:1-2250014:24, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 22(1), February 2022. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 10(6), pp. 264, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Connect. Sci. ![In: Connect. Sci. 34(1), pp. 911-941, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.06607, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.03388, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Amal Ahmed Anda, Daniel Amyot |
Self-Adaptation Driven by SysML and Goal Models - A Literature Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
e Informatica Softw. Eng. J. ![In: e Informatica Softw. Eng. J. 16(1), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD (Revised Selected Papers) ![In: Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, Virtual Event, February 8-10, 2021, and 10th International Conference, MODELSWARD 2022, Virtual Event, February 6-8, 2022, Revised Selected Papers, pp. 109-134, 2022, Springer, 978-3-031-38820-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino |
SysML Models Verification Relying on Dependency Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022., pp. 174-181, 2022, SCITEPRESS, 978-989-758-550-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Bastien Sultan, Ludovic Apvrille, Philippe Jaillon |
Safety, Security and Performance Assessment of Security Countermeasures with SysML-Sec. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2022, Online Streaming, February 6-8, 2022., pp. 48-60, 2022, SCITEPRESS, 978-989-758-550-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Guohuan Ding, Jing Liu 0012 |
SysML Flow Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual Event, Japan, December 6-9, 2022, pp. 159-168, 2022, IEEE, 978-1-6654-5537-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022, pp. 388-399, 2022, IEEE, 978-1-6654-7704-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, pp. 355-364, 2022, IEEE, 978-1-6654-6679-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2022, Montreal, QC, Canada, April 25-28, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-3992-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2022, Montreal, QC, Canada, April 25-28, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-3992-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2022, Montreal, QC, Canada, April 25-28, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-3992-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Daniel R. Herber, Jayesh B. Narsinghani, Kamran Eftekhari Shahroudi |
Model-Based Structured Requirements in SysML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2022, Montreal, QC, Canada, April 25-28, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-3992-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 46th IEEE Annual Computers, Software, and Applications Conferenc, COMPSAC 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022, pp. 1637-1642, 2022, IEEE, 978-1-6654-8810-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yupeng Li, Hailian Zhang, Jiyuan Lv, Yusheng Liu |
XMI-Based SysML Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRC ![In: 7th International Conference on Control, Robotics and Cybernetics, CRC 2022, Zhanjiang, China, December 15-17, 2022, pp. 74-77, 2022, IEEE, 978-1-6654-7306-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRC ![In: 7th International Conference on Control, Robotics and Cybernetics, CRC 2022, Zhanjiang, China, December 15-17, 2022, pp. 7-11, 2022, IEEE, 978-1-6654-7306-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|