 | 2008 |
|---|
| 10 |       | Robert Meolic,
Tatjana Kapus,
Zmago Brezocnik:
ACTLW - An action-based computation tree logic with unless operator.
Inf. Sci. 178(6): 1542-1557 (2008) |
| 2007 |
|---|
| 9 | | 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 |
|---|
| 8 | | Tatjana Kapus:
Checking Connectivity in Mobile System Ambients with the Temporal Logic of Actions.
IEICE Transactions 89-A(11): 3333-3340 (2006) |
| 7 | | Tatjana Kapus:
Specification and Verification of a Parametric Handover Procedure Using TLA.
Journal of Circuits, Systems, and Computers 15(6): 881-906 (2006) |
| 2005 |
|---|
| 6 |  | Tatjana Kapus:
Mobile Agent System Specification using the Temporal Logic of Actions.
IASTED Conf. on Software Engineering 2005: 319-324 |
| 1999 |
|---|
| 5 | | Tatjana Kapus,
Zmago Brezocnik:
Specifying and Verifying Dataflow Networks in TLA.
Applied Informatics 1999: 544-547 |
| 1997 |
|---|
| 4 | | Tatjana Kapus,
Zmago Brezocnik:
TLA-style Specification of a Mobile Network.
EUROMICRO 1997: 440-447 |
| 3 | | 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) |
| 2 | | 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 |
|---|
| 1 | | Tatjana Kapus,
Bogomir Horvat,
Marjeta Pucko:
A true concurrency semantics for parallel programs.
Microprocessing and Microprogramming 39(2-5): 143-146 (1993) |
