Publikációk

Export 183 results:
Rendezés: Szerző [ Cím (Desc)] Típus Év
Szűrők: Az Utónév Első Betűje = B  [Minden szűrő visszaállítása]
A [B] C D E F G H I J K L M N O P Q R S T U V W X Y Z   [MINDENT mutat]
D
Bondavalli, A., Ceccarelli, A., Gronbaek, J., Iovino, D., Karna, L., Klapka, S., Madsen, T. K., Magyar, M., Majzik, I., and Salzo, A., "Design and Evaluation of a Safe Driver Machine Interface", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
Domokos, P., and Majzik, I., "Design and Analysis of Fault Tolerant Architectures by Model Weaving", Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules", 1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/2016.
Gönczy, L., Chiaradonna, S., Giandomenico, D. F., Pataricza, A., Bondavalli, A., Bartha, T., and Telek, M., Dependability Evaluation of Web Service-Based Processes, Formal Methods and Stochastic Models for Performance Evaluation, : Springer-Verlag, pp. 166 - 180, 2006. Abstract
L3: citeulike-article-id:3911666SE: Lecture Notes in Computer Science KW: dependability evaluation Proc. of the Third European Performance Engineering Workshop (EPEW-2006)
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "Dependability Analysis in The Early Phases of Uml-based System Design", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001. Abstract
C
Bergmann, G., "Controllable and decomposable multidirectional synchronizations", Software and Systems Modeling, 04/2021.
Gábor, A., Sonnevend, I., and Bartha, T., "Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant", 9th European Workshop on Advanced Control and Diagnosis, Budapest, MTA SZTAKI, 2011.
Art. No.: 34
Bergmann, G., "Contextual Graph Triggers", Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 22–25, 2010.
Darvas, D., Majzik, I., and Blanco Viñuela, E., "Conformance Checking for Programmable Logic Controller Programs and Specifications", 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Kraków, Poland, IEEE, pp. 29-36, 05/2016.
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.
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.
Pap, Z., Majzik, I., Pataricza, A., and Szegi, A., "Completeness and Consistency Analysis of UML Statechart Specifications", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 83 - 90, 2001.
Balogh, A., Varró, G., Varró, D., and Pataricza, A., "Compiling Model Transformations to EJB3-Specific Transformer Plugins", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1288-1295, April, 2006. Abstract
Acceptance rate: 32%
Bergmann, G., Ráth, I., Varró, G., and Varró, D., "Change-driven model transformations. Change (in) the rule to rule the change.", Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
B
Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., and González Suárez, V. M., "Bringing Automated Model Checking to PLC Program Development – A CERN Case Study", Proceedings of the 12th International Workshop on Discrete Event Systems, Paris, France, International Federation of Automatic Control, pp. 394-399, 05/2014.
Bergmann, G., and Horváth, Á., "BPMN to BPEL case study solution in VIATRA2", 5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
Vörös, A., Darvas, D., and Bartha, T., "Bounded saturation-based CTL model checking", Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
Vörös, A., Darvas, D., and Bartha, T., "Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation", Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008. Abstract
Acceptance rate: ~40%
Bartha, T., and Maestrini, P., "Backward error recovery in the APEmille parallel computer", Proc. of the 3rd European Dependable Computing Conf., Prague, Czech Republic, Lecture Notes in Computer Science. Springer Berlin, 1999.
Hegedüs, Á., Bergmann, G., Ráth, I., and Varró, D., "Back-annotation of Simulation Traces with Change-Driven Model Transformations", Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010. Abstract
Acceptance rate: 22%
A
Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007. Abstract
Acceptance rate: 32%
Majzik, I., and Bondavalli, A., "Automatic Dependability Modeling of Systems Described in UML", Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
Bondavalli, A., Majzik, I., and Mura, I., "Automatic Dependability Analysis for Supporting Design Decisions in UML", Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), Washington, pp. 64 - 71, 1999.
Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., Blech, J O., and González Suárez, V. M., Automated Generation of Formal Models from ST Control Programs for Verification Purposes, , no. CERN-ACC-NOTE-2014-0037: CERN, 2014.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció