Filters: First Letter Of Title is S [Clear All Filters]
"System Level Diagnostics and Percolation Theory", Proceedings of the 7th PhD Mini-Symposium of the Department of Measurement and Information Systems, pp. 48 - 49, 2000.
"Synchronization of abstract and concrete syntax in domain-specific modeling languages", Software and Systems Modeling, vol. 9, issue 4, pp. 453-471, 2010.
"A survey and comparison of transformation tools based on the transformation tool contest", Science of Computer Programming, 2013.
"Supporting design and development of safety critical applications by model based tools", ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
"Superscalable modeling systems", Proceedings of the 20th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2013.
"Style-Based Refinement of Dynamic Software Architectures", Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004.
Acceptance rate: 30%
"Style-Based Modeling and Refinement of Service-Oriented Architectures", Journal of Software and Systems Modelling, vol. 5, no. 2, pp. 187–207, June, 2006.
"Stochastic Simulation of Graph Transformation Systems", Proc. of FASE2010, Fundamental Approaches to Software Engineering, 2010.
"Stochastic Graph Transformation with Regions", Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 2010.
"Stochastic Dependability Analysis of System Architecture Based on UML Models", LECTURE NOTES IN COMPUTER SCIENCE, vol. 2677, pp. 219 - 244, 2003.
"Status and Actual Risk Monitoring in a NPP Reactor Protection System", Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin, Springer, pp. 2654 - 2659, 2004.
Static Type Checking of Model Transformations by Constraint Satisfaction Programming, , no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.
"Static Type Checking of Model Transformation Programs", Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.
"Static Type Checking of Model Transformation Programs", ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.
"Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011.
"Static Safety Analysis of UML Action Semantics for Critical Systems Development", GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Static Analysis of Model Transformations, : Budapest University of Technology and Economics, 2009.
"Static Analysis of Model Transformations", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
"Standards-based Assessment of Development Toolchains in Safety-Critical Systems", Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, pp. 1 - 4, 2009.
"Solving the TTC 2011 Reengineering Case with VIATRA2", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011.
"Software Monitoring and Debugging Using Compressed Signature Sequences", Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 311 - 318, 1996.
"A software integration approach for designing and assessing dependable embedded systems", Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
Software Engineering for Service-Oriented Overlay Computers, : Springer, 2009.
"Software Diagnosis Using Compressed Signature Sequences", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 40, issue 2, pp. 87 - 103, 1996.
Simulation and transformation of domain-specific languages, : Budapest University of Technology and Economics, 2006.