Jan Magott
Orcid: 0000-0003-1329-1137
According to our database1,
Jan Magott
authored at least 33 papers
between 1984 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Optimization of Selection of Tests in Diagnosing the Patient by General Practitioner.
Proceedings of the Computational Science - ICCS 2021, 2021
2016
Fuzzy Sets Syst., 2016
2014
Exact and approximation methods for dependability assessment of tram systems with time window.
Eur. J. Oper. Res., 2014
Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation.
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014
2013
Proceedings of the Artificial Intelligence and Soft Computing, 2013
2012
Timing analysis of safety properties using fault trees with time dependencies and timed state-charts.
Reliab. Eng. Syst. Saf., 2012
Time coordination of heterogeneous distance protections using a domain specific language.
e Informatica Softw. Eng. J., 2012
The FTTD Method Application to the Safety Analysis of Changeable Block Distance System.
Proceedings of the Telematics in the Transport Environment, 2012
2010
Int. J. Crit. Comput. Based Syst., 2010
2009
Selection of Tripping Times for Distance Protection Using Probabilistic Fault Trees with Time Dependencies.
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009
2008
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008
2007
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007
2006
Proceedings of the Software Engineering Techniques: Design for Quality, 2006
Proceedings of the Artificial Intelligence and Soft Computing, 2006
Proceedings of the 2006 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2006), 2006
2005
Proceedings of the Multi-Agent Systems and Applications IV, 2005
2004
Proceedings of the Artificial Intelligence and Soft Computing, 2004
Proceedings of the Cooperative Information Agents VIII, 8th International Workshop, 2004
2003
Performance Statecharts in Analysis of ATM Network Signalling.
Proceedings of the 22nd IASTED International Conference on Modelling, 2003
2000
Proceedings of the Computer Safety, 2000
1997
Syntax and Semantics of Real-Time and Performance Evaluation Extensions of Specification Language LOTOS.
Fundam. Informaticae, 1997
Dataflow Processing Modeling in Performance Extension of LOTOS.
Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997
1995
Fundam. Informaticae, 1995
Proceedings of the 14th International Conference on Computer Safety, 1995
Proceedings of the MASCOTS '95, 1995
1991
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
1989
Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
1987
New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets.
IEEE Trans. Software Eng., 1987
Performance Evaluation of Concurrent Systems Using Conflict-Free and Persistent Petri Nets.
Inf. Process. Lett., 1987
Performance Evalutaion of Systems of Cyclic Sequential Processes with Mutual Exclusion an Communication by Buffers Using Timed Petri Nets.
Proceedings of the Second International Workshop on Petri Nets and Performance Models, 1987
1985
Performance Evaluation of Dystems of Cyclic Sequential Processes with Mutual Exclusion Using Petri Nets.
Inf. Process. Lett., 1985
1984
Inf. Process. Lett., 1984