Fak. 4 Elektrotechnik und Informatik

Publications 335 Items

RSS Feed RSS Feed RSS Feed

PreviewIssue DateTitleAuthor(s)Editor(s)
tr-2007-01.pdf.jpg2007Categorical Foundation for Layer Consistency in AHO-Net Models Supporting Workflow Management in Mobile Ad-Hoc NetworksBiermann, Enrico; Modica, Tony; Hoffmann, Kathrin-
tr-2008-15.pdf.jpg2008Counting Idempotent RelationsKammüller, Florian-
tr-2008-14.pdf.jpg2008HAIR: Hierarchical Architecture for Internet RoutingFeldmann, Anja; Bush, Randy; Cittadini, Luca; Maennel, Olaf; Mühlbauer, Wolfgang-
tr-2008-13.pdf.jpg2008Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation: Long VersionEhrig, Hartmut; Ermel, Claudia-
tr-2008-12.pdf.jpg2008Behavior Preservation in Model Refactoring using DPO Transformations with Borrowed ContextsRangel, Guilherme; Lambers, Leen; König, Barbara; Ehrig, Hartmut; Bladan, Paolo-
tr-2008-11.pdf.jpg2008Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams: Long VersionLambers, Leen; Jurack, Stefan; Mehner, Katharina; Runge, Olga; Taentzer, Gabriele-
tr-2008-09.pdf.jpg2008Process Denition of Adhesive HLR Systems (Long Version)Hermann, Frank-
tr-2008-08.pdf.jpg2008CCFL – A Concurrent Constraint Functional LanguageHofstedt, Petra-
tr-2008-07.pdf.jpg2008Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks (Long Version)Hermann, Frank; Ehrig, Hartmut; Ermel, Claudia-
tr-2008-06.pdf.jpg2008Towards Partial Composition of Components: Formal Foundation for Component VerificationPadberg, Julia-
tr-2008-05.pdf.jpg2008On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars (Long Version)Ehrig, Hartmut; Ermel, Claudia; Hermann, Frank-
tr-2008-04.pdf.jpg2008Forking, Scratching und Re-MergingIshii, Kei; Lutterbeck, Bernd; Pallas, Frank-
tr-2008-03.pdf.jpg2008From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph GrammarsEhrig, Hartmut; Ehrig, Karsten; Hermann, Frank-
tr-2008-02.pdf.jpg2008Sufficient Criteria for Applicability and Non-Applicability of Rule SequencesLambers, Leen; Ehrig, Hartmut; Taentzer, Gabriele-
tr-2008-01.pdf.jpg2008Reconfigurable Petri Systems with Negative Application ConditionsRein, Alexander-
tr-2009-19.pdf.jpg2009Functional Active Objects: Noninterference and Distributed ConsensusHenrio, Ludovic; Kammüller, Florian-
tr-2009-18.pdf.jpg2009Automatic Analysis of Malware Behavior using Machine LearningRieck, Konrad; Trinius, Philipp; Willems, Carsten; Holz, Thorsten-
tr-2009-17.pdf.jpg2009Generation of Simulation Views for Domain Specic Modeling Languages based on the Eclipse Modeling FrameworkErmel, Claudia; Biermann, Enrico; Ehrig, Karsten; Hurrelmann, Jonas-
tr-2009-16.pdf.jpg2009Core Concepts of the Compositional Variability Management Framework (CVM) : A Practitioner’s GuideReiser, Mark-Oliver-
tr-2009-15.pdf.jpg2009Konzeption und Implementierung einer Anwendungsumgebung für attributierte Graphtransformation basierend auf MathematicaAdamek, Jochen-
Collection's Items (Sorted by Submit Date in Descending order): 21 to 40 of 335