Tatjana Kapus

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