Items where Author is "UL Muram, Faiz"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Number of items: 9.

  • Supporting Automated Containment Checking of Software Behavioural Models Using Model Transformations and Model Checking
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe pp. 38-71 ISSN 0167-6423 Elsevier (2019)

  • On-Demand Automated Traceability Maintenance and Evolution
    Javed, Muhammad Atif and UL Muram, Faiz and Zdun, Uwe In: 17th International Conference on Software Reuse ICSR , 21-23 May , Madrid, Spain (2018)

  • Towards a Framework for Detecting Containment Violations in Service Choreography
    UL Muram, Faiz and Javed, Muhammad Atif and Tran, Huy and Zdun, Uwe In: 14th IEEE International Conference on Services Computing, SCC 2017 , 25 - 30 June 2017 , Honolulu, Hawaii, USA (2017)

  • Systematic Review of Software Behavioral Model Consistency Checking
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe pp. 1-39 ISSN 0360-0300 ACM Computing Surveys (2017)

  • Towards Containment Checking of Behaviour in Architectural Patterns
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: 22nd European Conference on Pattern Languages of Programs (EuroPLoP 2017) , 12-16 July 2017 , Irsee in Bavaria, Germany (2017)

  • A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: 23rd Asia-Pacific Software Engineering Conference (APSEC 2016) , 6th-9th December 2016 , University of Waikato, Hamilton, New Zealand (2016)

  • A Graph-Based Approach for Containment Checking of Behavior Models of Software Systems
    Tran, Huy and UL Muram, Faiz and Zdun, Uwe In: IEEE International Enterprise Distributed Object Computing Conference (EDOC) 2015 , 21-25 Sep 2015 , Adelaide, Australia (2015)

  • Counterexample Analysis for Supporting Containment Checking of Business Process Models
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: First International Workshop on Process Engineering (IWPE'15) , 31 August - 3 September 2015 , Innsbruck, Austria (2015)

  • Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
    UL Muram, Faiz and Tran, Huy and Zdun, Uwe In: 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014). Satellite event of ETAPS, EPTCS 147. April 12th, 2014 , April 12th, 2014 , Grenoble, France (2014)

    • This list was generated on Sat Nov 23 09:22:52 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.