Review of hierarchy in Petri Nets by Michał Markiewicz, Lesław Gniewek

Subjects: Get full text

A Formal Model of Trajectories for the Aggregation of Semantic Attributes by Francisco Javier Moreno Arboleda, Georgia Garani, Natalia Andrea Álvarez Hoyos

Subjects: Get full text

Bayesian adaptation in Poisson cognitive systems by Aleksander A. Solodov

Subjects: Get full text

Décomposer les humanités numériques by Michael Piotrowski, Aris Xanthos

Subjects: Get full text

Les mots du Grand Débat national : les réseaux lexicaux des contributions déposées sur trois plateformes by Sabine Ploux, Michael Genay, Leu Ploux-Chillès

Subjects: Get full text

Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM by Qiang Li, Jihong Han, Lin Yuan, Xiangcheng Li, Xiaoyu Wang

Subjects: Get full text

Safe simulation testing of systems with refusals and destructions by I. B. Burdonov, A. S. Kosachev

Subjects: “…formal model…”
Get full text

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams by Tomas Ausberger, Karel Kubicek, Pavla Medvedcova

Subjects: “…Formal model…”
Get full text

A Formal Model and Verification Problems for Software Defined Networks by V. A. Zakharov, R. L. Smelyansky, E. V. Chemeritsky

Subjects: Get full text

End-to-end Information Flow Security Model for Software-Defined Networks by D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov

Subjects: Get full text

Handling Complexity in Modern Software Engineering: Editorial Introduction to Issue 32 of CSIMQ by Alfred Zimmermann, Bartosz Marcinkowski

Subjects: Get full text

Model checking deep neural networks: opportunities and challenges by Zohra Sbai, Zohra Sbai

Subjects: Get full text

Dual-Chain-Based Dynamic Authentication and Handover Mechanism for Air Command Aircraft in Multi-UAV Clusters by Jing Ma, Yuanbo Chen, Yanfang Fu, Zhiqiang Du, Xiaoge Yan, Guochuang Yan

Subjects: Get full text

Translation from Event-B into Eiffel by Sofia Reznikova, Victor Rivera, Joo Young Lee, Manuel Mazzara

Subjects: Get full text

Clarification of the Recent Scientific Approaches in Magnetic Water Treatment by Plyatsuk L. D., Roy I. O., Chernysh Y. Y., Kozii I. S., Hurets L. L., Musabekov A. A.

Subjects: Get full text

Method for solving quantifier linear equations based on the algebra of linear predicate operations by Zoya Dudar, Volodymyr Liashyk

Subjects: Get full text

System-Level Design, Modeling, and Verification of GALS Cyber-Physical Systems by Weiyi Zhang, Zoran Salcic, Avinash Malik

Subjects: Get full text

Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes by Libero Nigro, Franco Cicirelli

Subjects: Get full text

Runtime safety assurance methods for cyber physical systems based on simplex architecture by WANG Qiang, CHEN Qiang, CAO Weipeng, HE Wenfeng

Subjects: Get full text

Teaching Formal Models of Concurrency Specification and Analysis by N. V. Shilov

Subjects: Get full text