Publikationen dieser Gruppe
Nachfolgend finden Sie alle - nur zu dieser Gruppe gehörenden - Publikationen.
Anhand des Suchfelds können Sie die Ausgabe weiter einschränken, z. B. können Sie nach Autor, Titel, Textinhalten oder Publikationsart suchen.
Titel
Specification of an Architecture Meta-Model
Titel der Konferenz
OFFIS Technical Report
Alle Autoren
Raphael Weber, Eike Thaden, Philipp Reinkemeier, Andreas Baumgart
Jahr
2012
Titel
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks
Buchtitel
System Specification and Design Languages - Selected Contributions from FDL 2010
Alle Autoren
Bücker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand, Ingo
Jahr
2012
Titel
Low-Level Space Optimization of an IDCT/FDCT Implementation for a Bit-Serial Fully Pipelined Architecture
Titel der Konferenz
The 13th IASTED International Conference on Signal and Image Processing ~SIP 2011~
Alle Autoren
Weber, Raphael, Henkler, Stefan; Rettberg, Achim
Jahr
2011
Titel
Compositionality with Strong Assumptions
Titel der Konferenz
Nordic Workshop on Programming Theory
Alle Autoren
Hungar, Hardi
Jahr
2011
Titel
Cost-Minimal Pre-Allocation of Software Tasks Under Real-Time Constraints
Buchtitel
Proceedings of the 2011 Research in Applied Computation Symposium (RACS 2011)
Titel der Konferenz
2011 Research in Applied Computation Symposium
Alle Autoren
Clark, Brian; Stierand, Ingo; Thaden, Eike
Jahr
2011
Titel
A Refinement Checking Technique for Contract-Based Architecture Designs
Titel der Konferenz
Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems
Alle Autoren
Gezgin, Tayfun; Weber, Raphael; Girod, Maurice
Jahr
2011
Titel
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models
Buchtitel
Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)
Titel der Konferenz
International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11)
Alle Autoren
Büker, Matthias; Damm, Werner; Ehmen, Günter; Stierand, Ingo
Jahr
2011
Titel
Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, too
Buchtitel
Proc. International Symposium on Industrial Embedded Systems (SIES'11)
Titel der Konferenz
International Symposium on Industrial Embedded Systems (SIES'11)
Alle Autoren
Büker, Matthias; Damm, Werner; Ehmen, Günter; Metzner, Alexander; Stierand, Ingo; Thaden, Eike
Jahr
2011
Titel
A pattern-based requirement specification language: Mapping automotive specific timing requirements
Buchtitel
Software Engineering 2011 Workshopband
Titel der Konferenz
Software Engineering 2011
Alle Autoren
Reinkemeier, Philipp; Stierand, Ingo; Rehkop, Philip; Henkler, Stefan
Jahr
2011
Titel
A Column Generation Approach to Scheduling of Periodic Tasks
Buchtitel
Experimental Algorithms - 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011, Proceedings
Titel der Konferenz
Experimental Algorithms: 10th International Symposium
Alle Autoren
Althaus, Ernst; Naujoks, Rouven; Thaden, Eike
Jahr
2011
Titel
Architecture Modeling
Titel der Konferenz
OFFIS Technical Report
Alle Autoren
Andreas Baumgart, Eckard B¨ode, Matthias B¨uker, Werner Damm, G¨unter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber
Jahr
2011
Titel
Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design
Titel der Konferenz
DATE 2011
Alle Autoren
Damm, Werner; Hungar, Hardi; Josko, Bernhard; Peikenkamp, Thomas; Stierand, Ingo;
Jahr
2011
Titel
Simulink and Virtual Hardware Platform Co-Simulation for Accurate Timing Analysis of Embedded Control Software
Buchtitel
ASIM-Konferenz STS/GMMS 2011
Titel der Konferenz
Simulation technischer Systeme - Grundlagen und Methoden in Modellbildung und Simulation
Alle Autoren
Fakih, Maher Ali; Poppen, Frank; Grüttner, Kim, Rettberg, Achim
Jahr
2011
Titel
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks
Titel der Konferenz
Forum on Specification & Design Languages (FDL)
Alle Autoren
Büker, Matthias; Grüttner, Kim; Hartmann, Philipp A.; Stierand Ingo
Jahr
2010
Titel
Exploiting Gaps in Fixed-Priority Preemptive Schedules for Task Insertion
Buchtitel
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Titel der Konferenz
16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Alle Autoren
Thaden, Eike; Lipskoch, Henrik; Metzner, Alexander; Stierand, Ingo
Jahr
2010
Titel
A Proposal for Real-time Interfaces in SPEEDS
Titel der Konferenz
13th Conference on Design, Automation and Test (DATE)
Alle Autoren
Purandard Bhaduri and Ingo Stierand
Jahr
2010
Titel
A System for Seamless Abstraction Layers for Model-based Development of Embedded Software
Buchtitel
Proceedings of Envision 2020 Workshop
Titel der Konferenz
Envision 2020 Workshop
Alle Autoren
Thyssen, Judith; Ratiu, Daniel; Schwitzer, Wolfgang; Harhurin, Alexander; Feilkas, Martin; Thaden, Eike
Jahr
2010
Titel
A Mode Change Protocol for Distributed Real-Time Systems
Alle Autoren
Metzner, Alexander; Stierand, Ingo
Jahr
2009
Titel
Testing Real-Time Task Networks with Functional Extensions Using Model-Checking
Titel der Konferenz
ETFA 2009 - Emerging Technologies and Factory Automation 2009
Alle Autoren
Büker, Matthias; Metzner Alexander, Stierand, Ingo
Jahr
2009
Titel
Low Level Space Optimization of an AES Implementation for a Bit Serial Fully Pipelined Architecture
Buchtitel
Analysis, Architectures and Modelling of Embedded Systems
Titel der Konferenz
IESS 2009
Alle Autoren
Rettberg, Achim; Weber, Raphael
Jahr
2009
Titel
Efficient Model-Checking for Real-Time Task Networks
Titel der Konferenz
6th International Conference on Embedded Software and Systems (ICESS'09)
Alle Autoren
Dierks, H., Metzner, A., Stierand, I.
Jahr
2009
Titel
Implementation of the AES Algorithm for a Reconfigurable, Bit Serial, Fully Pipelined Architecture
Buchtitel
Reconfigurable Computing: Architectures, Tools and Applications
Titel der Konferenz
ARC 2009
Alle Autoren
Weber, Raphael; Rettberg, Achim
Jahr
2009
Titel
Scheduling Analysis of Distributed Real-Time Systems Under Functional Constraints
Buchtitel
Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation
Titel der Konferenz
ETFA 08
Alle Autoren
Metzner, Alexander
Jahr
2008
Titel
Scheduling Analysis of Distributed Real-Time Systems Under Functional Constraints
Buchtitel
Proceedings of the 13th IEEE International Conference on Emerging Technologies and Factory Automation
Alle Autoren
Metzner, Alexander
Jahr
2008
Titel
Designing Embedded Systems using Heterogeneous Rich Components
Buchtitel
Proceedings of the INCOSE International Symposium 2008
Alle Autoren
Josko, Bernhard; Ma, Qin; Metzner, Alexander
Jahr
2008