MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marcel Kyas" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

An extended type-system for OCL supporting templates and transformations
by Marcel Kyas — 2005 — In M. Steffen and Gianluigi Zavattaro (Eds), Formal Methods for Open Object-Based Distributed Systems (FMOODS 2005), Lecture Notes in Computer Science, number 3535
…An Extended Type System for OCL Supporting Templates and Transformations ⋆ Marcel Kyas Christian…
Cited by 2 (0 self) – Add To MetaCart

Compositional verification of timed components using pvs
by Marcel Kyas, Jozef Hooman — Proceedings of Software Engineering 2006, volume P-79 of Lecture Notes in Informatics, pages 143 – 154, 2006. Available from World Wide Web: http://www.cs.ru.nl/~hooman/SE06.html
…Compositional Verification of Timed Components using PVS ∗ Marcel Kyas Christian…
Cited by 1 (0 self) – Add To MetaCart

W.P.: 29 New unclarities in the semantics of UML 2.0 state machines
by Harald Fecher, Jens Schönborn, Marcel Kyas, Willem-paul De — 2005 — Proceedings of the 7th international conference on formal engineering methods (ICFEM’05), LNCS
…, Marcel Kyas, and Willem-Paul de Roever Christian-Albrechts-Universität zu Kiel, Germany {hf…
Cited by 1 (0 self) – Add To MetaCart

Runtime monitoring of electronic contracts
by Marcel Kyas, Cristian Prisacariu, Gerardo Schneider — 2008 — In ATVA’08, LNCS
…Run-time Monitoring of Electronic Contracts Marcel Kyas ⋆ , Cristian Prisacariu ⋆⋆ , and Gerardo…
Cited by 2 (0 self) – Add To MetaCart

On Message Specifications in OCL
by Marcel Kyas, Frank S. de Boer — 2003
…Abstract CV - UML 2003 Preliminary Version On Message Specifications in OCL 1 Marcel Kyas 2…
Cited by 7 (1 self) – Add To MetaCart

An Object-Oriented Component Model for Heterogeneous Nets ⋆
by Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas
… Bjørk and Marcel Kyas Department of Informatics, University of Oslo, Norway {einarj…
Cited by 1 (0 self) – Add To MetaCart

Date of birth 30.01.1975, Pinneberg Nationality German
by Name Marcel Kyas, Prof Dr, Joost N. Kok, Paul De Roever
…Curriculum Vitæ Personal data Name Marcel Kyas Office Institutt for informatikk, Universitetet i…
Add To MetaCart

Formalizing UML Models and OCL Constraints in PVS
by Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark Van Der Zwaag, Tamarah Arons, Hillel Kugler — 2004
…SFEDL’04 Preliminary Version Formalizing UML Models and OCL Constraints in PVS 1 Marcel Kyas…
Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB