1.
Bandyopadhyay, Soumyadip ; Sarkar, Santonu
Antarbhukti: Verifying Correctness of PLC Software During System Evolution
In: D´Souza, Meenakshi; Komondoor, Raghavan; Srivathsan, B. (szerk.) Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings
Cham, Svájc : Springer Nature Switzerland (2026) pp. 447-471. Paper: Chapter 21 , 25 p.
DOI WoS Egyéb URL
Közlemény:36400513 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36400513] [Egyeztetett]
2.
Hatcliff, John ; Belt, Jason ; Robby, . ; McKenzie, Clint ; Liang, Catalina
End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR
In: Remke, Anne; Steffen, Bernhard (szerk.) Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Cham, Svájc : Springer Nature Switzerland (2026) pp. 241-260. Paper: Chapter 13 , 20 p.
DOI WoS Scopus Egyéb URL
Közlemény:36312244 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36312244] [Egyeztetett]
3.
Qaisar, Ifrah ; Carlson, Jan ; Jongeling, Robbert ; Cicchetti, Antonio ; Latifaj, Malvina ; Ciccozzi, Federico
Identifying Incentives for More Systematic Modeling of Industrial Software-Intensive Systems
In: Proceedings of the 14th International Conference on Model-Based Software and Systems Engineering
SCITEPRESS - Science and Technology Publications (2026) pp. 234-244. , 11 p.
DOI Egyéb URL
Közlemény:37060269 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[37060269] [Nyilvános]
4.
Teodorov, Ciprian ; Lima, Lucas ; Nogueira, Sidney C. ; Guerin, Sylvain ; Lagadec, Loïc
A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models
In: ter Beek, Maurice H.; Teixeira, Leopoldo (szerk.) Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings
Cham, Svájc : Springer Nature Switzerland (2026) pp. 61-81. Paper: Chapter 4 , 21 p.
DOI WoS Egyéb URL
Közlemény:36462620 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36462620] [Egyeztetett]
5.
Xu, Xiong ; Miao, Jixiang ; Wang, Shuling ; Talpin, Jean-Pierre
Modeling and Analysis of Cyber-Physical Systems in the Hybrid \pi -Calculus Using Extended Sequence Diagrams
In: André, Étienne; Wang, Jingyi; Zhan, Naijun (szerk.) Formal Methods and Software Engineering : 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10–13, 2025, Proceedings
Singapore, Szingapúr : Springer Nature Singapore (2026) pp. 60-78. Paper: Chapter 4 , 19 p.
DOI WoS Egyéb URL
Közlemény:36432840 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36432840] [Egyeztetett]
6.
Yuan, Yongji ; Wang, Guoxin ; Gong, Yihui ; Lu, Jinzhi ; Wu, Shouxuan ; Dong, Mengru
A Formal Verification Approach for Measures of Effectiveness Based on Satisfiability Modulo Theories
In: 2026 IEEE International Systems Conference (SysCon)
IEEE (2026) pp. 1-8. , 8 p.
DOI Egyéb URL
Közlemény:37119948 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[37119948] [Nyilvános]
7.
Khelifati, Adel ; Hammad, Ahmed ; Boukala-Ioualalen, Malika
Combining SysML V2 and BIP to Model and Verify CPS Interactions
In: Mecella, Massimo; Rensink, Arend; Maciaszek, Leszek (szerk.) Proceedings of the 20th International Conference on Software Technologies
Setubal, Portugália : SCITEPRESS - Science and Technology Publications (2025) pp. 400-409. , 10 p.
DOI Egyéb URL
Közlemény:36214599 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36214599] [Nyilvános]
8.
Li, Zirui ; Husung, Stephan ; Wang, Haoze
LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
In: 2025 IEEE International Symposium on Systems Engineering (ISSE)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2025) pp. 1-8. , 8 p.
DOI WoS Egyéb URL
Közlemény:36930081 Nyilvános Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36930081] [Nyilvános]
9.
Wang, Yuan ; Ge, Ning ; Liu, Jiangxi ; Cao, Zhilong ; Chen, Zheping ; Hu, Chunming
Generating SysML Behavior Models via Large Language Models: an Empirical Study
In: Mei, Hong; Lv, Jian; Jin, Zhi; Li, Xuandong; Zimmermann, Thomas; Li, Ge; Bu, Lei; Xia, Xin (szerk.) Proceedings of the 16th International Conference on Internetware
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2025) pp. 366-377. , 12 p.
DOI WoS Egyéb URL
Közlemény:36410684 Egyeztetett Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36410684] [Egyeztetett]
10.
Xu, Zekai ; Yang, Shuqun
Research and Application of the Data Model System in MBSE
IEEE ACCESS 13 pp. 195167-195186. , 20 p. (2025)
DOI WoS Egyéb URL
Közlemény:36814551 Nyilvános Idéző Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[36814551] [Nyilvános]
11.
Zavada, Ármin ; Kulcsár, Géza ; Molnár, Vince ; Horváth, Ákos
Towards a Configurable Verification and Validation Framework for Critical Cyber-Physical Systems
In: IEEE - IEEE (szerk.) 2025 IEEE 8th International Conference on Industrial Cyber-Physical Systems (ICPS)
Piscataway (NJ), Amerikai Egyesült Államok : IEEE (2025) Paper: 11087849 , 6 p.
DOI WoS
Közlemény:36588299 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos[36588299] [Admin láttamozott]
2026-06-13 08:52