Publikációk

Export 33 results:
Rendezés: Szerző Cím [ Típus  (Desc)] Év
Szűrők: A Cím Első Betűje = C  [Minden szűrő visszaállítása]
Journal Article
Polgár, B., "Comparison based diagnostics as a probabilistic deduction problem", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3038, pp. 1153 - 1161, 2004. Abstract
Molnár, V., Vörös, A., Darvas, D., Bartha, T., and Majzik, I., "Component-wise Incremental LTL Model Checking", Formal Aspects of Computing, vol. 28, issue 3: Springer, pp. 345-379, 05/2016.
Majzik, I., and Pataricza, A., "Control Flow Checking in Multitasking Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
Book Chapter
Bonfiglio, V., Brancati, F., Rossi, F., Bondavalli, A., Montecchi, L., Pataricza, A., Kocsis, I., and Molnár, V., "Composable Framework Support for Software-FMEA through Model Execution", Certifications of Critical Systems – The CECRIS Experience, Delft, Netherlands, River Publishers, pp. 183–200, 2017.
Micskei, Z., Szatmári, Z., Oláh, J., and Majzik, I., "A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012. Abstract
Hajdu, Á., Tóth, T., Vörös, A., and Majzik, I., "A Configurable CEGAR Framework with Interpolation-Based Refinements", Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016. Abstract