Search:       RSS, Atom

Site navigation:

Publications

The most important publications from the DSS research group are divided into categories and listed here.

Software Components

  • Jezek K et al. Software Components Compatibility Verification Based on Static Byte-Code Analysis. Proceedings of 39th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2013), Santander, Spain. IEEE Computer Society, 2013
  • Snajberk J and Brada P. ENT: A Generic Meta-Model for the Description of Component-Based Applications. Proceedings of FESCA 2011 (to appear in Electronic Notes on Theoretical Computer Science, Elsevier).
  • Jezek K and Brada P. – Towards Context Independent Extra-functional Properties Descriptor for Components. FESCA 2010, Electronic Notes on Theoretical Computer Science.
  • Brada P. – A Look at Current Component Models from the Black-box Perspective Proceedings of Euromicro SEAA 2009, IEEE CS Press.
  • Bauml J and Brada P – Automated Versioning in OSGi: a Mechanism for Component Software Consistency Guarantee Proceedings of Euromicro SEAA 2009, IEEE CS Press.
  • Brada P and Valenta L – Practical Verification of Component Substitutability Using Subtype Relation. Proceedings of Euromicro 2006, IEEE CS Press.
  • Brada P. – Metadata Support for Safe Component Upgrades. In Proceedings of Compsac’02, the 26th Annual International Computer Software & Applications Conference, Oxford, England, 26-29 August 2002. IEEE CS Press 2002.
  • Andreasson S.A.; Brada P.; and Valdman J. – Component-based Software Decomposition of Flexible Manufacturing Systems. In Proceedings of ICCC’2000, Faculty BERG, Technical University Kosice, Slovak Republic.

Discrete Simulation and Dependability

  • Herout P.; Racek S.; and Hlavička J. – Model-Based Dependability Evaluation Method for TTP/C Applications. EDCC-4 – Fourth European Dependable Computing Conference, Toulouse, France, October 2002, pp. 271-282, ISBN 3-540-00012-7.
  • Ademaj A.; Grillinger P.; Herout P.; and Hlavička J. – Fault Tolerance Evaluation Using two Software Based Fault Injection Methods. In Proc. IEEE International On-Line Testing Workshop IOLTW 2002, pp. 21-25, Isle of Benedor, France, ISBN 0-7695-1641-6.
  • Hlavička J. and Racek S. – C-Sim – The C language Enhancement for Discrete-Time Simulation. DSN/IPDS2, Washington, U.S.A., June 200.
  • Kačer J. – Discrete-Time Process-Oriented Simulation with J-Si.
  • Paska M.; Dvorak P.; Racek S.; Janecek E. – Model Based Support for Life Cycle Management of I&C Systems. EUROCON 2007 – The International Conference on “Computer as a tool“., Warsaw, Poland, September 2007, pp. 2217-2220, ISBN 1-4244-0813-X.
  • Potuzak T.; Herout P. – Use of Distributed Traffic Simulation in the JUTS Project. EUROCON 2007 – The International Conference on “Computer as a tool“., Warsaw, Poland, September 2007, pp. 2250-2255, ISBN 1-4244-0813-X.
  • Cirtek P.; Racek S. – Performance Comparison of Distributed Simulation Using PVM and MPI. EUROCON 2007 – The International Conference on “Computer as a tool“., Warsaw, Poland, September 2007, pp. 2238-2241, ISBN 1-4244-0813-X.
  • Koutny T.; Safarik J. – Simulating Distributed Applications in an Active Network. Proceedings of the 6th EUROSIM Congress on Modelling and Simulation Vol. 2: Full Papers, Ljubljana, Slovenia, September 2007, ISBN 978-3-901608-32-2.
  • Hartman D.; Herout P. – Construction of a Hybrid Traffic Model Based on JUTS Cellular Model. Proceedings of the 6th EUROSIM Congress on Modelling and Simulation Vol. 2: Full Papers, Ljubljana, Slovenia, September 2007, ISBN 978-3-901608-32-2.
---

Related