Jan Magott

Publication Activity (10 Years)

Years Active: 1984-2021
Publications (10 Years): 3

Top Topics

Safety Analysis

Inversely Proportional

Top Venues

Fundam. Informaticae

DepCoS-RELCOMEX

Fuzzy Sets Syst.

Publications

Jan Magott, Irena Wikiera-Magott
Optimization of Selection of Tests in Diagnosing the Patient by General Practitioner. ICCS (3) (2021)
Michal Lower, Jan Magott, Jacek Skorupski
Analysis of Air Traffic Incidents using event trees with fuzzy probabilities. Fuzzy Sets Syst. 293 (2016)
Jan Magott, Pawel Skrobanek
Semantics and Execution Time of New Timed Statecharts. Fundam. Informaticae 147 (4) (2016)
Marcin Kowalski, Jan Magott, Tomasz Nowakowski, Sylwia Werbinska-Wojciechowska
Exact and approximation methods for dependability assessment of tram systems with time window. Eur. J. Oper. Res. 235 (3) (2014)
Tomasz Babczynski, Jan Magott
Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation. DepCoS-RELCOMEX (2014)
Michal Lower, Jan Magott, Jacek Skorupski
Air Traffic Incidents Analysis with the Use of Fuzzy Sets. ICAISC (1) (2013)
Marcin Kowalski, Jan Magott
Time coordination of heterogeneous distance protections using a domain specific language. e Informatica Softw. Eng. J. 6 (1) (2012)
Jan Magott, Pawel Skrobanek
Timing analysis of safety properties using fault trees with time dependencies and timed state-charts. Reliab. Eng. Syst. Saf. 97 (1) (2012)
Jan Magott, Andrzej Lewinski, Piotr Skrobanek, Andrzej Torun
The FTTD Method Application to the Safety Analysis of Changeable Block Distance System. TST (2012)
Jan Magott, Marek Woda
Model for evaluation of SOA security metrics using attack graphs. Int. J. Crit. Comput. Based Syst. 1 (1/2/3) (2010)
Tomasz Babczynski, Miroslaw Lukowicz, Jan Magott
Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies. DepCoS-RELCOMEX (2009)
Jan Magott, Marek Woda
Evaluation of SOA Security Metrics Using Attack Graphs. DepCoS-RELCOMEX (2008)
Jan Magott, Pawel Skrobanek, Marek Woda
Analysis of Timing Requirements for Intrusion Detection System. DepCoS-RELCOMEX (2007)
Tomasz Babczynski, Jan Magott
PERT Based Approach to Performance Analysis of Multi-Agent Systems. ICAISC (2006)
Jan Magott, Pawel Skrobanek
Partially automatic generation of fault-trees with time dependencies. DepCoS-RELCOMEX (2006)
Tomasz Babczynski, Jan Magott
Estimation of mean response time of multi-agent systems. SET (2006)
Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott
Performance Comparison of Multi-agent Systems. CEEMAS (2005)
Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott
Performance Analysis Of Multiagent Industrial System. CIA (2004)
Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott
Performance Evaluation of Multiagent Personalized Information System. ICAISC (2004)
Tomasz Babczynski, Zbigniew Huzar, Jan Magott
Performance Statecharts in Analysis of ATM Network Signalling. Modelling, Identification and Control (2003)
Jan Magott, Pawel Skrobanek
A Method of Analysis of Fault Trees with Time Dependencies. SAFECOMP (2000)
Zbigniew Huzar, Jan Magott
Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS. Fundam. Informaticae 29 (1-2) (1997)
Zbigniew Huzar, Jan Kwiatkowski, Jan Magott
Dataflow Processing Modeling in Performance Extension of LOTOS. Euro-PDS (1997)
Jan Magott
Performance Evaluation of Systems Defined in Specification Language. Fundam. Informaticae 24 (4) (1995)
Janusz Górski, Jan Magott, Andrzej Wardzinski
Modeling Fault Trees Using Petri Nets. SAFECOMP (1995)
Zbigniew Huzar, Jan Magott
Real-Time and Performance Evaluation Extensions of Specification Language LOTOS. MASCOTS (1995)
Jan Magott, Kamil Skudlarski
Estimating the Mean Cycle Time for Stochastic Safe Marked Graphs. PNPM (1991)
Jan Magott, Kamil Skudlarski
Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress. PNPM (1989)
Jan Magott
Performance Evalutaion of Systems of Cyclic Sequential Processes with Mutual Exclusion an Communication by Buffers Using Timed Petri Nets. PNPM (1987)
Jan Magott
Performance Evaluation of Concurrent Systems Using Conflict-Free and Persistent Petri Nets. Inf. Process. Lett. 26 (2) (1987)
Jan Magott
New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets. IEEE Trans. Software Eng. 13 (5) (1987)
Jan Magott
Performance Evaluation of Dystems of Cyclic Sequential Processes with Mutual Exclusion Using Petri Nets. Inf. Process. Lett. 21 (5) (1985)
Jan Magott
Performance Evaluation of Concurrent Systems Using Petri Nets. Inf. Process. Lett. 18 (1) (1984)