2007 |
19 | EE | Jan Magott,
Pawel Skrobanek,
Marek Woda:
Analysis of Timing Requirements for Intrusion Detection System.
DepCoS-RELCOMEX 2007: 278-285 |
2006 |
18 | EE | Jan Magott,
Pawel Skrobanek:
Partially automatic generation of fault-trees with time dependencies.
DepCoS-RELCOMEX 2006: 43-50 |
17 | EE | Tomasz Babczynski,
Jan Magott:
PERT Based Approach to Performance Analysis of Multi-Agent Systems.
ICAISC 2006: 1040-1049 |
2005 |
16 | EE | Tomasz Babczynski,
Zofia Kruczkiewicz,
Jan Magott:
Performance Comparison of Multi-agent Systems.
CEEMAS 2005: 612-615 |
2004 |
15 | EE | Tomasz Babczynski,
Zofia Kruczkiewicz,
Jan Magott:
Performance Analysis Of Multiagent Industrial System.
CIA 2004: 242-256 |
14 | EE | Tomasz Babczynski,
Zofia Kruczkiewicz,
Jan Magott:
Performance Evaluation of Multiagent Personalized Information System.
ICAISC 2004: 810-815 |
2003 |
13 | | Tomasz Babczynski,
Zbigniew Huzar,
Jan Magott:
Performance Statecharts in Analysis of ATM Network Signalling.
Modelling, Identification and Control 2003: 341-346 |
2000 |
12 | EE | Jan Magott,
Pawel Skrobanek:
A Method of Analysis of Fault Trees with Time Dependencies.
SAFECOMP 2000: 176-186 |
1997 |
11 | | Zbigniew Huzar,
Jan Kwiatkowski,
Jan Magott:
Dataflow Processing Modeling in Performance Extension of LOTOS.
Euro-PDS 1997: 335-339 |
10 | | Zbigniew Huzar,
Jan Magott:
Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.
Fundam. Inform. 29(1-2): 77-96 (1997) |
1995 |
9 | | Zbigniew Huzar,
Jan Magott:
Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.
MASCOTS 1995: 382-386 |
8 | | Jan Magott:
Performance Evaluation of Systems Defined in Specification Language.
Fundam. Inform. 24(4): 333-357 (1995) |
1991 |
7 | | Jan Magott,
Kamil Skudlarski:
Estimating the Mean Cycle Time for Stochastic Safe Marked Graphs.
PNPM 1991: 86-94 |
1989 |
6 | | Jan Magott,
Kamil Skudlarski:
Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress.
PNPM 1989: 249-256 |
1987 |
5 | | Jan Magott:
Performance Evalutaion of Systems of Cyclic Sequential Processes with Mutual Exclusion an Communication by Buffers Using Timed Petri Nets.
PNPM 1987: 146-153 |
4 | | Jan Magott:
New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets.
IEEE Trans. Software Eng. 13(5): 578-581 (1987) |
3 | | Jan Magott:
Performance Evaluation of Concurrent Systems Using Conflict-Free and Persistent Petri Nets.
Inf. Process. Lett. 26(2): 77-80 (1987) |
1985 |
2 | | Jan Magott:
Performance Evaluation of Dystems of Cyclic Sequential Processes with Mutual Exclusion Using Petri Nets.
Inf. Process. Lett. 21(5): 229-232 (1985) |
1984 |
1 | | Jan Magott:
Performance Evaluation of Concurrent Systems Using Petri Nets.
Inf. Process. Lett. 18(1): 7-13 (1984) |