Name Card

Full name Familienname, Vorname
Kirner, Raimund
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 79 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kirner, Raimund ; Puschner, Peter A qualitative cybersecurity analysis of time-triggered communication networks in automotive systemsArticle Artikel Mar-2023
2Kirner, Raimund ; Puschner, Peter Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen AnwendungskontextenInproceedings Konferenzbeitrag 2022
3Kirner, Raimund ; Puschner, Peter A Quantitative Analysis of Interfaces to Time-Triggered Communication BusesArtikel Article 2021
4Puschner, Peter ; Kirner, Raimund Asynchronous vs. synchronous interfacing to time-triggered communication systemsArtikel Article 2020
5Puschner, Peter ; Kirner, Raimund Interfacing to Time-Triggered Communication SystemsKonferenzbeitrag Inproceedings 2019
6Puschner, Peter ; Kirner, Raimund ; Prokesch, Daniel ; Huber, Benedikt Compiling for Time PredictabilityKonferenzbeitrag Inproceedings 2012
7Kirner, Raimund ; Zolda, Michael Compiler Support for Measurement-based Timing AnalysisKonferenzbeitrag Inproceedings2011
8Bünte, Sven ; Zolda, Michael ; Kirner, Raimund Let's Get Less Optimistic In Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2011
9Zolda, Michael ; Kirner, Raimund ; Bünte, Sven Context-Sensitive Measurement-Based Worst-Case Execution Time EstimationKonferenzbeitrag Inproceedings 2011
10Bünte, Sven ; Zolda, Michael ; Tautschnig, Michael ; Kirner, Raimund Improving the Confidence in Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2011
11Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Execution Time AnalysisArtikel Article 2011
12Bünte, Sven ; Zolda, Michael ; Kirner, Raimund Reconfigurable Embedded Control Systems: Applications for Flexibility and AgilityBuchbeitrag Book Contribution 2011
13Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Kadlec, Albrecht Beyond Loop Bounds: Comparing Annotation Languages for Worst-Case Time AnalysisArtikel Article2010
14Zolda, Michael ; Bünte, Sven ; Kirner, Raimund Context-Sensitivity in IPET for Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2010
15Kadlec, Albrecht ; Kirner, Raimund ; Puschner, Peter Avoiding Timing Anomalies Using Code TransformationsKonferenzbeitrag Inproceedings 2010
16Kirner, Raimund ; Puschner, Peter Time-Predictable ComputingKonferenzbeitrag Inproceedings 2010
17Kandl, Susanne ; Kirner, Raimund Error Detection Rate of MC/DC for a Case Study from the Automotive DomainKonferenzbeitrag Inproceedings 2010
18Kirner, Raimund ; Puschner, Peter ; Prantl, Adrian Transforming Flow Information during Code Optimization for Timing AnalysisArtikel Article2010
19Kirner, Raimund Development and analysis of time-predictable real-time systemsThesis Hochschulschrift2010
20Prantl, Adrian ; Knoop, Jens ; Kirner, Raimund ; Kadlec, Albrecht ; Schordan, Markus Towards an Orchestrated Approach for Annotation VerificationKonferenzbeitrag Inproceedings2010

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 39 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Folie, Simon A framework for automated load balancing of streaming programs on the SCC processorThesis Hochschulschrift2014
2Rosensteiner, Sebastian Tool chain qualification for model-based software engineering in the automotive domainThesis Hochschulschrift2011
3Schmidt, Manuela ; Gartner, Georg Decision Support Tool for Web-Based Thematic MappingKonferenzbeitrag Inproceedings 2010
4Knötzl, Christine ; Reiterer, Alexander Evaluation of an Image-Assisted Deformation Monitoring SystemKonferenzbeitrag Inproceedings2010
5Rasool, Azra ; Böhm, Helmut J. A Study of Thermo-Mechanical Properties of Composite Materials Reinforced with Polyhedral Shaped ParticlesKonferenzbeitrag Inproceedings2010
6Todt, Melanie ; Rammerstorfer, Franz G. On the van der Waals Interactions Between Carbon Onion LayersKonferenzbeitrag Inproceedings2010
7Kinzl, Michael ; Benneker, Lorin ; Pahr, Dieter H. The Effect of Material Behavior and Placement of Bone Cement on the Mechanical Behavior and Load Transfer of Augmented Vertebral BodiesKonferenzbeitrag Inproceedings2010
8Gschwandtner, Theresia ; Kaiser, Katharina ; Miksch, Silvia Information Requisition for Computer-Supported Medical CareKonferenzbeitrag Inproceedings 2010
9Sunindyo, Wikan Danar ; Biffl, Stefan Bridging Semantic Heterogeneities in Open Source Software Development Projects with Semantic Web TechnologiesKonferenzbeitrag Inproceedings2010
10Schüller, Peter ; Eiter, Thomas ; Fink, Michael Towards Approximating Output-Projected Equilibria in Partially Known Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
11Pieber, Andreas ; Biffl, Stefan Flexible Engineering Environment Integration for (Software+) Engineering TeamsKonferenzbeitrag Inproceedings2010
12Sallinger, Emanuel ; Pichler, Reinhard ; Savenkov, Vadim Schema Mapping Optimization in the Presence of Target ConstraintsKonferenzbeitrag Inproceedings 2010
13Pfandler, Andreas ; Pichler, Reinhard ; Woltran, Stefan Decentralized Diagnosis: Complexity Analysis and Datalog EncodingsKonferenzbeitrag Inproceedings 2010
14Weinzierl, Antonius ; Fink, Michael ; Eiter, Thomas Meta-Reasoning in Multi-Context SystemsKonferenzbeitrag Inproceedings 2010
15Skritek, Sebastian ; Pichler, Reinhard Implementing a Peer Database Management SystemKonferenzbeitrag Inproceedings 2010
16Jankowski, Nicole ; Bauer, Heidi ; Puxbaum, Hans Report on Reductions of Traffic Emissions over the last three Decades on a Transit Route in Austria - Results of the Tauerntunnel Experiment 2007Konferenzbeitrag Inproceedings2010
17Gmeiner, Karl ; Gramlich, Bernhard Transformations of Conditional Term Rewrite SystemsKonferenzbeitrag Inproceedings2010
18Jiresch, Eugen ; Gramlich, Bernhard Extensions for Interaction NetsKonferenzbeitrag Inproceedings2010
19Drozdova, Svetlana ; Rosenberg, Egon-Erwin Parameter Optimisation for the Determination of Total Petroleum Hydrocarbons (Hydrocarbon Index) by Gas Chromatography Using the Large Volume Injection TechniqueKonferenzbeitrag Inproceedings2010
20Huber, Stefanie ; Edtmaier, Christian Functionally graded W/Cu interlayers for actively cooled "flat-tile" divertor mock-upsKonferenzbeitrag Inproceedings2010