Author of the publication

A tool for automated reasoning about traces based on configurable formal semantics.

, , , and . ESEC/SIGSOFT FSE, page 959-963. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Tekinerdogan, Bedir
add a person with the name Tekinerdogan, Bedir
 

Other publications of authors with the same name

A framework for multi-stage ML-based electricity demand forecasting., , , , , and . ISC2, page 1-7. IEEE, (2022)Architecture Viewpoint for Modeling Business Collaboration Concerns using Workflow Patterns., and . ICSOFT-EA, page 27-38. SciTePress, (2016)Managing aspect orderings to support multiple quality concerns., and . AOM@AOSD, page 13-18. ACM, (2009)Model-Driven Transformations for Mapping Parallel Algorithms on Parallel Computing Platforms., and . MDHPCL@MoDELS, volume 1118 of CEUR Workshop Proceedings, page 63-72. CEUR-WS.org, (2013)Digital Art and the Metaverse: Benefits and Challenges., , , and . Future Internet, 15 (6): 188 (June 2023)Deep learning-based multi-task prediction system for plant disease and species detection., , , and . Ecol. Informatics, (2022)Model-Based User Interface Design for Generating E-Forms in the Context of an E-Government Project., and . CoRR, (2020)Customizing a Feature Ontology for Product Line Engineering within a System-of-Systems Context., , , and . ISSE, page 1-6. IEEE, (2019)Product Line Architecture Design of Software-Intensive Physical Protection Systems., , , and . ISSE, page 1-8. IEEE, (2020)Pattern Based Integration of Internet of Things Systems., and . ICIOT, volume 10972 of Lecture Notes in Computer Science, page 19-33. Springer, (2018)