 | 2011 |
|---|
| 13 |       | Tatjana Kapus:
Closing a System in the Dynamic Input/Output Automata Model.
Comput. J. 54(7): 1038-1048 (2011) |
| 2009 |
|---|
| 12 | | Tatjana Kapus:
Using Mobile TLA as a Logic for Dynamic I/O Automata.
IEICE Transactions 92-D(8): 1515-1522 (2009) |
| 2008 |
|---|
| 11 | | Robert Meolic,
Tatjana Kapus,
Zmago Brezocnik:
ACTLW - An action-based computation tree logic with unless operator.
Inf. Sci. 178(6): 1542-1557 (2008) |
| 2007 |
|---|
| 10 | | Bostjan Vlaovic,
Aleksander Vreze,
Zmago Brezocnik,
Tatjana Kapus:
Automated generation of Promela model from SDL specification.
Computer Standards & Interfaces 29(4): 449-461 (2007) |
| 2006 |
|---|
| 9 | | Tatjana Kapus:
Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions.
IEICE Transactions 89-A(11): 3333-3340 (2006) |
| 8 | | Tatjana Kapus:
Specification and Verification of a Parametric Handover Procedure Using TLA.
Journal of Circuits, Systems, and Computers 15(6): 881-906 (2006) |
| 2005 |
|---|
| 7 |  | Tatjana Kapus:
Mobile Agent System Specification using the Temporal Logic of Actions.
IASTED Conf. on Software Engineering 2005: 319-324 |
| 1999 |
|---|
| 6 | | Tatjana Kapus,
Zmago Brezocnik:
Specifying and Verifying Dataflow Networks in TLA.
Applied Informatics 1999: 544-547 |
| 1997 |
|---|
| 5 | | Tatjana Kapus,
Zmago Brezocnik:
TLA-style Specification of a Mobile Network.
EUROMICRO 1997: 440-447 |
| 4 | | Gregor Vrecko,
Zmago Brezocnik,
Tatjana Kapus,
Bogomir Horvat,
Andrej Duh:
Microcomputer unit for control of distributed devices over computer networks.
Journal of Systems Architecture 43(1-5): 81-85 (1997) |
| 3 | | Tatjana Kapus,
Zmago Brezocnik:
Verification of XTP Context Management Closing Procedure in Style of TLA.
Sci. Comput. Program. 29(1-2): 23-52 (1997) |
| 1993 |
|---|
| 2 | | Tatjana Kapus,
Bogomir Horvat,
Marjeta Pucko:
A true concurrency semantics for parallel programs.
Microprocessing and Microprogramming 39(2-5): 143-146 (1993) |
| 1992 |
|---|
| 1 | | Tatjana Kapus,
Bogomir Horvat:
Verifying networks of processes that communicate via shared variables.
Microprocessing and Microprogramming 35(1-5): 641-649 (1992) |
Data released under the ODC-BY 1.0 license — See also our legal information page