Tatjana Kapus

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 4

Top Topics

Mazurkiewicz Traces

Analytical Models

Formal Verification

Top Venues

Mob. Inf. Syst.

J. Log. Algebraic Methods Program.

Publications

Tatjana Kapus
. IEEE Access 11 (2023)
Rok Vogrin, Robert Meolic, Tatjana Kapus
Generating and Employing Witness Automata for ACTLW Formulae. IEEE Access 10 (2022)
Tatjana Kapus
. J. Log. Algebraic Methods Program. 116 (2020)
Tatjana Kapus
Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks. Simul. Model. Pract. Theory 77 (2017)
Tatjana Kapus
Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions. Informatica 26 (4) (2015)
Tatjana Kapus
Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata. Mob. Inf. Syst. 9 (2) (2013)
Tatjana Kapus
Closing a System in the Dynamic Input/Output Automata Model. Comput. J. 54 (7) (2011)
Tatjana Kapus
Using Mobile TLA as a Logic for Dynamic I/O Automata. IEICE Trans. Inf. Syst. (8) (2009)
Robert Meolic, Tatjana Kapus, Zmago Brezocnik
ACTLW - An action-based computation tree logic with unless operator. Inf. Sci. 178 (6) (2008)
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik, Tatjana Kapus
Automated generation of Promela model from SDL specification. Comput. Stand. Interfaces 29 (4) (2007)
Tatjana Kapus
Specification and Verification of a Parametric Handover Procedure Using TLA. J. Circuits Syst. Comput. 15 (6) (2006)
Tatjana Kapus
Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (11) (2006)
Tatjana Kapus
Mobile Agent System Specification using the Temporal Logic of Actions. IASTED Conf. on Software Engineering (2005)
Tatjana Kapus
Specification of synchronous sequential circuits using SDL and ObjectGEODE. Comput. Stand. Interfaces 24 (3) (2002)
Tatjana Kapus, Zmago Brezocnik
Specifying and Verifying Dataflow Networks in TLA. Applied Informatics (1999)
Tatjana Kapus, Zmago Brezocnik
TLA-style Specification of a Mobile Network. EUROMICRO (1997)
Tatjana Kapus, Zmago Brezocnik
Verification of XTP Context Management Closing Procedure in Style of TLA. Sci. Comput. Program. 29 (1-2) (1997)
Gregor Vrecko, Zmago Brezocnik, Tatjana Kapus, Bogomir Horvat, Andrej Duh
Microcomputer unit for control of distributed devices over computer networks. J. Syst. Archit. 43 (1-5) (1997)
Ales Casar, Zmago Brezocnik, Tatjana Kapus
Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL. ED&TC (1996)
Tatjana Kapus, Bogomir Horvat, Marjeta Pucko
A true concurrency semantics for parallel programs. Microprocess. Microprogramming 39 (2-5) (1993)
Tatjana Kapus, Bogomir Horvat
Verifying networks of processes that communicate via shared variables. Microprocess. Microprogramming 35 (1-5) (1992)