Works matching IS 14332779 AND DT 2020 AND VI 22 AND IP 5

Results: 8

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 617, doi. 10.1007/s10009-020-00579-8

By:

Yousefi, Farnaz;
Khamespanah, Ehsan;
Gharib, Mohammed;
Sirjani, Marjan;
Movaghar, Ali

Publication type:

Article

Introduction to the special issue for SPIN 2019.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 563, doi. 10.1007/s10009-020-00580-1

By:

Biondi, Fabrizio;
Given-Wilson, Thomas;
Legay, Axel

Publication type:

Article

Dependency graphs with applications to verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 635, doi. 10.1007/s10009-020-00578-9

By:

Enevoldsen, Søren;
Larsen, Kim G.;
Mariegaard, Anders;
Srba, Jiří

Publication type:

Article

A study of learning likely data structure properties using machine learning models.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 601, doi. 10.1007/s10009-020-00577-w

By:

Usman, Muhammad;
Wang, Wenxi;
Wang, Kaiyuan;
Yelen, Cagdas;
Dini, Nima;
Khurshid, Sarfraz

Publication type:

Article

Extracting safe thread schedules from incomplete model checking results.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 565, doi. 10.1007/s10009-020-00575-y

By:

Metzler, Patrick;
Suri, Neeraj;
Weissenbacher, Georg

Publication type:

Article

Approximate reduction of finite automata for high-speed network intrusion detection.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 523, doi. 10.1007/s10009-019-00520-8

By:

Češka, Milan;
Havlena, Vojtěch;
Holík, Lukáš;
Lengál, Ondřej;
Vojnar, Tomáš

Publication type:

Article

Swarm model checking on the GPU.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 583, doi. 10.1007/s10009-020-00576-x

By:

DeFrancisco, Richard;
Cho, Shenghsun;
Ferdman, Michael;
Smolka, Scott A.

Publication type:

Article

Variable order metrics for decision diagrams in system verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 541, doi. 10.1007/s10009-019-00522-6

By:

Amparore, Elvio G.;
Donatelli, Susanna;
Ciardo, Gianfranco

Publication type:

Article