Tatjana Kapus

According to our database, Tatjana Kapus authored at least 21 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Improved Formal Verification of SDN-Based Firewalls by Using TLA⁺.

Tatjana Kapus

IEEE Access, 2023

2022

Generating and Employing Witness Automata for ACTLW Formulae.

Rok Vogrin, Robert Meolic, Tatjana Kapus

IEEE Access, 2022

2020

Specifying reversibility with TLA⁺.

Tatjana Kapus

J. Log. Algebraic Methods Program., 2020

2017

Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks.

Tatjana Kapus

Simul. Model. Pract. Theory, 2017

2015

Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions.

Tatjana Kapus

Informatica, 2015

2013

Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata.

Tatjana Kapus

Mob. Inf. Syst., 2013

2011

Closing a System in the Dynamic Input/Output Automata Model.

Tatjana Kapus

Comput. J., 2011

2009

Using Mobile TLA as a Logic for Dynamic I/O Automata.

Tatjana Kapus

IEICE Trans. Inf. Syst., 2009

2008

ACTLW - An action-based computation tree logic with unless operator.

Robert Meolic, Tatjana Kapus, Zmago Brezocnik

Inf. Sci., 2008

2007

Automated generation of Promela model from SDL specification.

Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus

Comput. Stand. Interfaces, 2007

2006

Specification and Verification of a Parametric Handover Procedure Using TLA.

Tatjana Kapus

J. Circuits Syst. Comput., 2006

Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions.

Tatjana Kapus

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

2005

Mobile Agent System Specification using the Temporal Logic of Actions.

Tatjana Kapus

Proceedings of the IASTED International Conference on Software Engineering, 2005

2002

Specification of synchronous sequential circuits using SDL and ObjectGEODE.

Tatjana Kapus

Comput. Stand. Interfaces, 2002

1999

Specifying and Verifying Dataflow Networks in TLA.

Tatjana Kapus, Zmago Brezocnik

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1997

Verification of XTP Context Management Closing Procedure in Style of TLA.

Tatjana Kapus, Zmago Brezocnik

Sci. Comput. Program., 1997

Microcomputer unit for control of distributed devices over computer networks.

Gregor Vrecko, Zmago Brezocnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh

J. Syst. Archit., 1997

TLA-style Specification of a Mobile Network.

Tatjana Kapus, Zmago Brezocnik

Proceedings of the 23rd EUROMICRO Conference '97, 1997

1996

Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL.

Ales Casar, Zmago Brezocnik, Tatjana Kapus

Proceedings of the 1996 European Design and Test Conference, 1996

1993

A true concurrency semantics for parallel programs.

Tatjana Kapus, Bogomir Horvat, Marjeta Pucko

Microprocess. Microprogramming, 1993

1992

Verifying networks of processes that communicate via shared variables.

Tatjana Kapus, Bogomir Horvat

Microprocess. Microprogramming, 1992