E-LIB Suche - Ergebnisse für: Bonsangue, Marcello

1

Concurrent NetKAT with Ports:

, In: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing,

Feng, Hui ; Bonsangue, Marcello - p. 1722-1730 , 2024

Link: https://dl.acm.org/doi/1..

2

Approximately Learning Quantum Automata:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Chu, Wenjing ; Chen, Shuo ; Bonsangue, Marcello. - p. 268-285 , 2023

Link: https://doi.org/10.1007/..

3

From symbolic constraint automata to Promela:

Feng, Hui ; Bonsangue, Marcello ; Lion, Benjamin
Journal of Logical and Algebraic Methods in Programming. 128 (2022) - p. 100794 , 2022

Link: https://doi.org/10.1016/..

4

Non-linear Optimization Methods for Learning Regular Distri..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Chu, Wenjing ; Chen, Shuo ; Bonsangue, Marcello - p. 54-70 , 2022

Link: https://doi.org/10.1007/..

5

Caps Captioning: A Modern Image Captioning Approach Based o..:

Javanmardi, Shima ; Latif, Ali ; Sadeghi, Mohammad...
Sensors. 22 (2022) 21 - p. 8376 , 2022

Link: https://doi.org/10.3390/..

6

A Language-Based Causal Model for Safety:

, In: Theoretical Aspects of Software Engineering; Lecture Notes in Computer Science,

Bonsangue, Marcello ; Caltais, Georgiana ; Feng, Hui. - p. 290-307 , 2022

Link: https://doi.org/10.1007/..

7

Multi-view learning with distinguishable feature fusion for..:

Chen, Xueqin ; Zhou, Fan ; Trajcevski, Goce.
Knowledge-Based Systems. 240 (2022) - p. 108085 , 2022

Link: https://doi.org/10.1016/..

8

Learning Probabilistic Automata Using Residuals:

, In: Theoretical Aspects of Computing – ICTAC 2021; Lecture Notes in Computer Science,

Chu, Wenjing ; Chen, Shuo ; Bonsangue, Marcello - p. 295-313 , 2021

Link: https://doi.org/10.1007/..

9

Multi‐scale graph capsule with influence attention for info..:

Chen, Xueqin ; Zhang, Fengli ; Zhou, Fan.
International Journal of Intelligent Systems. 37 (2021) 3 - p. 2584-2611 , 2021

Link: https://doi.org/10.1002/..

10

Symbolic execution formally explained:

de Boer, Frank S. ; Bonsangue, Marcello
Formal Aspects of Computing. 33 (2021) 4-5 - p. 617-636 , 2021

Link: https://doi.org/10.1007/..

11

Catch me if you can: A participant-level rumor detection fr..:

Chen, Xueqin ; Zhou, Fan ; Zhang, Fengli.
Information Processing & Management. 58 (2021) 5 - p. 102678 , 2021

Link: https://doi.org/10.1016/..

12

Modeling microscopic and macroscopic information diffusion ..:

Chen, Xueqin ; Zhou, Fan ; Zhang, Fengli.
International Journal of Intelligent Systems. 36 (2021) 10 - p. 5449-5471 , 2021

Link: https://doi.org/10.1002/..

13

SymPaths: Symbolic Execution Meets Partial Order Reduction:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,

de Boer, Frank S. ; Bonsangue, Marcello ; Johnsen, Einar Broch... - p. 313-338 , 2020

Link: https://doi.org/10.1007/..

14

Modeling and verifying the topology discovery mechanism of ..:

Xiang, Shuangqing ; Zhu, Huibiao ; Wu, Xi...
Science of Computer Programming. 187 (2020) - p. 102343 , 2020

Link: https://doi.org/10.1016/..

15

PDNet: A Programming Language for Software-Defined Networks..:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,

Xiang, Shuangqing ; Bonsangue, Marcello ; Zhu, Huibiao - p. 203-218 , 2019

Link: https://doi.org/10.1007/..