Haykal Tej Person-Info

(Bücher, DVDs, weitere Produkte)

Manuel Núñez; Nicole Rauch; Frank Rittinger; Grigore Rosu; Thomas Santen; Mareike Schmidt; Wolfram Schulte; Hui Shi; Kazuo Takaragi; Haykal Tej

... authentication and key agreement protocol • IKE (internet key exchange protocol) • H.530 authentication for mobile multi-media applications (S. Mödersheim, Haykal Tej)

Christoph Lüth, Haykal Tej

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving ChristophL¨uth, Haykal Tej, Kolyang, and Bernd …

1999; 2 : Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.

View Haykal Tej's professional profile. Publications: 3 | Citations: 56 | G-Index: 3 | H-Index: 2. Interest: Software Engineering, …

Thomas Meyer [4] 6: Till Mossakowski [3] 7: Thomas Santen [1] [2] 8: Haykal Tej [6] 9: Stefan Westmeier [5] 10: Burkhart Wolff [1] [2] [4] [5]

Christoph Lüth , Haykal Tej , Kolyang , Bernd Krieg-Brückner, TAS and IsaWin: Tools for Transformational Program Development …

by Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner Fundamental Approaches to Software Engineering FASE’99, number 1577 in Lecture

Haykal Tej, Burkhart Wolff: Pages: 318 - 337: A Proof Obligation Generator for VDM-SL: Bernhard K. Aichernig, Peter Gorm

@INPROCEEDINGS{Lüth99tasand, author = {Christoph Lüth and Haykal Tej and Kolyang and Bernd Krieg-Brückner}, title = {TAS and IsaWin: Tools for Transformational

Haykal Tej and Burkhart Wolff have developed (as part of the former UniForM-Project) a conservative embedding of CSP (Concurrent Sequential Processes by Hoare and Roscoe).

Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner: Pages: 239 - 243

haykal tej hol-csp: mechanised formal development of concurrent processes, reihe: biss monographs, bd. 19

Frank Rittinger Grigore Rosu; Thomas Santen Mareike Schmidt Wolfram Schulte Hui Shi; Kazuo Takaragi Haykal Tej; Makarius Wenzel Stefan Westmeier

Haykal Tej (Universität Bremen, finished 2003): CSP in Isabelle/HOL. Kolyang (Universität Bremen, finished 1997): An Integrated Formal Support Environment for Z in

Haykal Tej Affiliation: Siemens AG; Topics covered: HLPSL, protocol modeling and analysis; Period: January, 2003 - October, 2003; Currently at: Siemens AG

by: Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald ... Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner

by: Juan C. Burguillo-Rial, Manuel J. Fernández Iglesias, Francisco J ... Haykal Tej, Burkhart Wolff