جست‌وجوی استاد و پژوهشگر

• Formal Methods
• Software Engineering
• Model-Based Testing
• +۳ مورد دیگر

Alessandra Cavarra is a University Lecturer in Software Engineering at the University of Oxford, holding roles as Director of Graduate Studies for Professional Programmes and Supernumerary Fellow at Kellogg College. She earned her MSc and PhD in Computer Science from the University of Catania (Italy), with research periods at U.S. and German institutions. Her research focuses on formal methods, UML behavioral diagrams, model-based testing, and integrating formal/semi-formal languages. She teaches postgraduate courses in Object-Oriented Design and Software Testing. Research interests include formal semantics for UML diagrams, tool development for symbolic execution and test case generation, and abstract state machines (ASMs). Her work bridges software engineering theory and practice, emphasizing rigorous methods for system validation. Publications span model-based testing, UML formalization, and concurrency analysis. Key areas include data-flow approaches for multi-agent systems, workflow testing, and formal verification of software models. Recent work addresses challenges in concurrent workflows and abstract state machine analysis. No scientific awards were explicitly mentioned. She has advised at least one student, Aadya Shukla, and contributes to academic service roles. No lab or team affiliations are detailed in the provided information.

Shahin Mehdipour Ataeeمشاهده پروفایل

استادیار

• Semantic Web Services
• Abstract State Machine Choreography
• Logic Programming
• +۳ مورد دیگر

Yrd. Doç. Dr. Shahin Mehdipour Ataee is an Assistant Professor in the Department of Computer Engineering at the Faculty of Engineering, Final University. His research focuses on semantic web services choreography, logic programming, and formal methods in computer engineering. He holds a PhD in Computer Engineering from Eastern Mediterranean University (2018), an MSc in Software Engineering from Qazvin Azad University (2010), and a BSc in Computer Engineering from Mazandaran University of Science and Technology (2006). His work emphasizes the application of abstract state machines (ASM) and F-Logic to solve complex problems in service-oriented architectures. Notable contributions include developing algorithms for semantic web service composition and applying logic-based frameworks like Flora-2 to AI challenges such as the Wumpus World. His research also extends to video analysis for periodic activity detection. No scientific awards or grants explicitly listed in the provided information. His academic profile includes a strong focus on both theoretical advancements and practical implementations in computer science domains. Currently affiliated with Final University’s Faculty of Engineering, his educational background spans multiple institutions across different countries, reflecting a global academic trajectory. No specific labs or teams are mentioned in the current data.

Gerhard Schellhornمشاهده پروفایل

پژوهشگر

• Logic Calculi
• Algebraic Specification
• Program Logics
• +۱۱ مورد دیگر

Dr. Gerhard Schellhorn is a Senior Researcher at the Institute for Software & Systems Engineering, part of the Faculty of Applied Computer Science at the University of Augsburg. He collaborates extensively with Prof. Dr. Wolfgang Reif, the institute's director, and has maintained an active research career spanning multiple decades with continuous publications from 1994 through 2025. His research focuses on: Logic Calculi and Algebraic Specification Program Logics and Abstract State Machines Modular specification of concurrent systems with temporal logic and IO-Automata Interactive Verification and Proof Automation Refinement techniques including Data Refinement, ASM Refinement, Linearizability, and Opacity Dr. Schellhorn's recent work (2018-2025) demonstrates a consistent progression from theoretical foundations to practical applications in system verification. His publications reveal a strong emphasis on verifying concurrent and persistent systems, particularly file systems (Flashix), data structures (red-black trees), and memory models. A significant portion of his work utilizes the KIV verification system, which he has helped develop and apply to complex real-world systems. His research shows increasing relevance to modern computing challenges involving crash safety, persistent memory, and concurrent data structures. He has established extensive collaborations with researchers including Stefan Bodenmüller, Wolfgang Reif, Brijesh Dongol, Heike Wehrheim, and John Derrick, indicating his strong integration within the international formal methods community. Dr. Schellhorn also contributes to education at the University of Augsburg through courses in Software Engineering, Compiler Construction, Introduction to Robotics, and Formal Methods in Software Engineering.

Alexander Raschkeمشاهده پروفایل

پژوهشگر

• Usability of graphical diagram editors
• Abstract State Machines (ASMs)
• Software engineering team processes
• +۴ مورد دیگر

Dr. Alexander Raschke is a Researcher at Ulm University's Institute of Software Engineering and Programming Languages, where he focuses on improving graphical diagram editors' usability through empirical evaluation and novel interaction techniques. His work spans Abstract State Machines (ASMs), software engineering team processes, and functional programming education. His primary research interests include: Usability of graphical diagram editors and modeling tools Abstract State Machines for formal specification Software engineering challenges in team-based development (communication, workload distribution, quality assurance) Functional programming with Haskell (over 10 years of teaching experience) Recent publications (2023-2025) demonstrate a strong focus on collaborative modeling systems, with significant contributions to versioning approaches for blended modeling environments, query languages for evolving models, and empirical studies on diagram editor usability. His work bridges theoretical formal methods with practical software engineering challenges. As responsible for software engineering projects in academic curricula, he actively develops solutions for team-based software development challenges including continuous integration/deployment, communication frameworks, and programming skill development. He leads the CoreASM project focused on debugging support for Abstract State Machines.

Egon Boergerمشاهده پروفایل

استاد

• Logic and Computer Science
• Abstract State Machines
• Software Technology
• +۴ مورد دیگر

Egon Boerger is a Professor of Computer Science at the Department of Computer Science, University of Pisa since November 1985. He previously held professorial positions at the University of Udine (1982/83), University of Dortmund (1978-1985), and University of Salerno (1972-1976), with extensive guest researcher appointments at IBM, Microsoft Research, ETH Zürich, Siemens, and other leading institutions through 2017. Doctorate: Mathematics Department, University of Münster (1971) Habilitation: University of Münster (1976) Boerger's research career spans two distinct phases: from 1969-1989 he pioneered applications of logic in computer science, co-founding the European Association for Computer Science Logic (EACSL) and serving as its first president (1992-1997). Since 1990, he has focused on Software Technology through the development of the Abstract State Machines (ASM) method for rigorous system design, bridging theoretical foundations with industrial applications in programming languages, system architectures, and software engineering. His approach emphasizes mathematically verified stepwise refinement from abstract models to executable code. Humboldt Research Award (2007/08) Member of Academia Europaea (2010) Festschrift: Rigorous Methods for Software Construction and Analysis (Springer LNCS 5115, 2009) As co-founder of three major conference series (CSL, ASM, and ABZ), Boerger has organized over 30 international conferences and workshops while supervising numerous PhD students. His research has been implemented through industrial collaborations with IBM, Siemens, Microsoft, and SAP, resulting in practical applications across hardware/software systems. He maintains active academic engagement through guest professorships at institutions including ETH Zürich, KIT Karlsruhe, and SCCH Linz. Boerger's academic legacy includes co-authoring two logic monographs (including the influential 'Computability, Complexity, Logic'), three computer science monographs, two textbooks, and 'The Classical Decision Problem'. His work on Abstract State Machines has established a formal framework for controllable system development that continues to influence both theoretical and applied computer science.