Publikációk

Export 502 results:
Rendezés: [ Szerző (Desc)] Cím Típus Év
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 
C
Chechik, M., Dalpiaz, F., Debreceni, C., Horkoff, J., Ráth, I., Salay, R., and Varró, D., "Property-Based Methods for Collaborative Model Development", 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
Ceccarelli, A., Majzik, I., Iovino, D., Caneschi, F., Pintér, G., and Bondavalli, A., "A Resilient SIL 2 Driver Machine Interface for Train Control Systems", Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX), pp. 365 - 374, 2008.
B
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems", Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018. Abstract
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems", 21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.
Búr, M., Ujhelyi, Z., Horváth, Á., and Varró, D., "Local search-based pattern matching features in EMF-IncQuery", 8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015. Abstract
Tool demonstration paper
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed graph queries over models@run.time for runtime monitoring of cyber-physical systems", International Journal on Software Tools for Technology Transfer, 09/2019. Abstract
Bretz, K., Vynohradskyi, B., Lopatyev, A., Antal, S., and Oláh, J., "Diagnostics of coordinate components of purposeful arm movements of a human.", Theory and Methods of Physical Education, issue 44, Ukraine, pp. 8-11, June, 2008.
Ukraine
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.
Bondavalli, A., Majzik, I., and Mura, I., "Automated Dependability Analysis of UML Designs", Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
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.
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.
Bondavalli, A., Majzik, I., and van Moorsel, A., "International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)", Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), pp. 542 - 543, 2008.
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
Bernardeschi, C., Bondavalli, A., Csertán, G., Majzik, I., and Simoncini, L., "Temporal analysis of data flow control systems", AUTOMATICA, vol. 34, issue 2, pp. 169 - 182, 1998. Abstract
Bergmann, G., Ökrös, A., Ráth, I., Varró, D., and Varró, G., "Incremental pattern matching in the VIATRA model transformation system", Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008. Abstract
Bergmann, G., Horváth, D., and Horváth, Á., "Applying Incremental Graph Transformation to Existing Models in Relational Databases", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 371-385, 09/2012.
Bergmann, G., and Ökrös, A., Event-based model transformations with incremental pattern matching, , October, 2007.
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.
Bergmann, G., "Translating OCL to Graph Patterns", ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%. Article page and extended version available at: http://incquery.net/content/graph-patterns-ocl-performance-evaluation
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", CAiSE'11 Forum at the 23rd International Conference on Advanced Information Systems Engineering, vol. 734, London, UK, CEUR-WS, pp. 49-56, 06/2011. Abstract
urn:nbn:de:0074-734-7
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.
Bergmann, G., Hegedüs, Á., Gerencsér, G., and Varró, D., "Graph Query by Example", First International Workshop on Combining Modelling with Search- and Example-Based Approaches (CMSEBA 2014), Valencia, Spain, 09/2014.
Bergmann, G., Dávid, I., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "Viatra 3 : A Reactive Model Transformation Platform", 8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015. Abstract
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
10.1007/978-3-642-21470-7_32
Bergmann, G., Debreceni, C., Ráth, I., and Varró, D., "Query-based Access Control for Secure Collaborative Modeling using Bidirectional Transformations", ACM/IEEE 19th Int. Conf. on Model Driven Engineering Languages and Systems, Saint-Malo, France, 2016.
Acceptance rate: 23.7%. Received ACM Distinguished Paper Award.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció