Marcel Kyas

Yuan Yang, Matthias Wählisch, Yubin Zhao, Marcel Kyas: RAID the WSN: Packet-based reliable cooperative diversity. ICC 2012: 371-375

Yubin Zhao, Yuan Yang, Marcel Kyas: Dynamic searching particle filtering scheme for indoor localization in wireless sensor network. WPNC 2012: 65-70

Heiko Will, Thomas Hillebrandt, Marcel Kyas: The FU Berlin parallel lateration-algorithm simulation and visualization engine. WPNC 2012: 131-136

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)

Rudolf Schlatte, Bernhard K. Aichernig, Andreas Griesmayer, Marcel Kyas: Resource Modeling for Timed Creol Models. Electr. Notes Theor. Comput. Sci. 266: 63-75 (2010)

Einar Broch Johnsen, Jasmin Christian Blanchette, Marcel Kyas, Olaf Owe: Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol. Electr. Notes Theor. Comput. Sci. 243: 89-103 (2009)

Marcel Kyas: Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol. Electr. Notes Theor. Comput. Sci. 243: 105-120 (2009)

Einar Broch Johnsen, Marcel Kyas, Ingrid Chieh Yu: Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects. FM 2009: 596-611

Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen: Executable Interface Specifications for Testing Asynchronous Creol Components. FSEN 2009: 324-339

Jens Schönborn, Marcel Kyas: Refinement Patterns for Hierarchical UML State Machines. FSEN 2009: 371-386

Marcel Kyas, Cristian Prisacariu, Gerardo Schneider: Run-Time Monitoring of Electronic Contracts. ATVA 2008: 397-407

Marcel Kyas, Einar Broch Johnsen: A Real-Time Extension of Creol for Modelling Biomedical Sensors. FMCO 2008: 42-60

Jens Schönborn, Marcel Kyas: A Theory of Bounded Fair Scheduling. ICTAC 2008: 334-348

Einar Broch Johnsen, Olaf Owe, Joakim Bjørk, Marcel Kyas: An Object-Oriented Component Model for Heterogeneous Nets. FMCO 2007: 257-279

Marcel Kyas: Verifying OCL specifications of UML models: tool support and compositionakity. Leiden University 2006, isbn 3-86541-142-8, pp. 1-199

Harald Fecher, Marcel Kyas, Willem P. de Roever, Frank S. de Boer: Compositional Operational Semantics of a UML-Kernel-Model Language. Electr. Notes Theor. Comput. Sci. 156(1): 79-96 (2006)

Marcel Kyas, Jozef Hooman: Compositional Verification of Timed Components using PVS. Software Engineering 2006: 143-154

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler: Formalizing UML Models and OCL Constraints in PVS. Electr. Notes Theor. Comput. Sci. 115: 39-47 (2005)

Marcel Kyas, Frank S. de Boer, Willem P. de Roever: A Compositional Trace Logic for Behavioural Interface Specifications. Nord. J. Comput. 12(2): 116-132 (2005)

Marcel Kyas: An Extended Type System for OCL Supporting Templates and Transformations. FMOODS 2005: 83-98

Harald Fecher, Jens Schönborn, Marcel Kyas, Willem P. de Roever: 29 New Unclarities in the Semantics of UML 2.0 State Machines. ICFEM 2005: 52-65

Marcel Kyas, Frank S. de Boer: On Message Specifications in OCL. Electr. Notes Theor. Comput. Sci. 101: 73-93 (2004)

Marcel Kyas: Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol. Electr. Notes Theor. Comput. Sci. 50(4): 357-370 (2001)