Abstractions for Software Architecture and Tools to Support Them
IEEE Transactions on Software Engineering - Special issue on software architecture
Design reuse: chemical engineering vs. software engineering
ACM SIGSOFT Software Engineering Notes
Strategic directions in real-time and embedded systems
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
A taxonomy of coordination mechanisms used by real-time processes
ACM SIGAda Ada Letters
Analysis of techniques in the assessment of ultra-reliable computerized systems
ACM SIGSOFT Software Engineering Notes
Using real-time queueing theory to control lateness in real-time systems
SIGMETRICS '97 Proceedings of the 1997 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
The design and performance of a real-time CORBA event service
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Applying static analysis to software architectures
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Components for the implementation of fixed priority real-time systems in ADA
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Developing reusable multi-tasking components using object-oriented techniques in Ada 95
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
T-SMART—task-safe, minimal Ada realtime toolset
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Implementing robot controllers under real-time POSIX and Ada
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Performing architecture tradeoff analysis
ISAW '98 Proceedings of the third international workshop on Software architecture
The Ravenscar tasking profile for high integrity real-time programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
A comparison of Windows driver model latency performance on Windows NT and Windows 98
OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Experience with performing architecture tradeoff analysis
Proceedings of the 21st international conference on Software engineering
Automatic verification of real-time designs
Proceedings of the 21st international conference on Software engineering
TAP-D: A model for developing specialization tracks in a graduate software engineering curriculum
Annals of Software Engineering - Special issue on software engineering education
Turning clockwise: using UML in the real-time domain
Communications of the ACM
Verification of real-time designs: combining scheduling theory with automatic formal verification
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers
Designing real-time and distributed applications with the UML (tutorial session)4
Proceedings of the 22nd international conference on Software engineering
UML extensions for the specification and evaluation of latency constraints in architectural models
Proceedings of the 2nd international workshop on Software and performance
Deriving hard real-time embedded systems implementations directly from SDL specifications
Proceedings of the ninth international symposium on Hardware/software codesign
The Design and Performance of a Real-Time CORBA SchedulingService
Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
Adaptive feedback scheduling of incremental and design-to-time tasks
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Building product populations with software components
Proceedings of the 24th International Conference on Software Engineering
Evaluating software architectures for real-time systems
Annals of Software Engineering
Toward a discipline of scenario-based architectural engineering
Annals of Software Engineering
Playing Detective: Reconstructing Software Architecture from Available Evidence
Automated Software Engineering
Scheduler Modeling Based on the Controller Synthesis Paradigm
Real-Time Systems
System Specification Experiments on a Common Benchmark
IEEE Design & Test
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
Fixed-Priority Sensitivity Analysis for Linear Compute Time Models
IEEE Transactions on Software Engineering
A survey on software architecture analysis methods
IEEE Transactions on Software Engineering
A Temporal Many-Valued Logic for Real Time Control Systems
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
User Focus in Consumer Terminals and Conditionally Guaranteed Budgets
IWQoS '01 Proceedings of the 9th International Workshop on Quality of Service
Hardware/Software Embedded System Specifiaction and Design Using Ada and VHDL
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Modeling Real-Time Systems-Challenges and Work Directions
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Real-Time Operating Systems: Problems and Novel Solutions
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Scheduling of Real-Time Tasks with Complex Constraints
Performance Evaluation: Origins and Directions
Impact of Object-Oriented Software Engineering Applied to the Development of Security Systems
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Packaging Predictable Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Assessment of Timing Properties of Family Products
Proceedings of the Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families
Priority assignment in real-time active databases
The VLDB Journal — The International Journal on Very Large Data Bases
HARTEX: a safe real-time kernel for distributed computer control systems
Software—Practice & Experience
Proceedings of the 25th International Conference on Software Engineering
Time weaver: a software-through-models framework for embedded real-time systems
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Software Implementation Techniques for Hw/Sw Embedded Systems
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
A Model-Based Approach to System-Level Dependency and Real-Time Analysis of Embedded Software
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
VEST: An Aspect-Based Composition Tool for Real-Time Systems
RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
An Architectural Style for Object Oriented Real-Time Systems
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Duration Properties over Real Time System Designs
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Journal of Systems and Software - Special issue on: Component-based software engineering
Modeling and Analyzing Real-Time CORBA and Supervision & Control Framework and Applications
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Schedulability analysis with UML
UML for real
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
Making sense of runtime architecture for mobile phone software
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Can Fixed Priority Scheduling Work in Practice?
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Evolving real-time systems using hierarchical scheduling and concurrency analysis
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Best-Case Response Times and Jitter Analysis of Real-Time Tasks
Journal of Scheduling
Applying fixed priority scheduling in practice
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Exploiting prescriptive aspects: a design time capability
Proceedings of the 4th ACM international conference on Embedded software
Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Cheddar: a flexible real time scheduling framework
Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies
On the dynamic semantics and the timing behavior of Ravenscar kernels
Real-Time Systems
A data-centric approach to composing embedded, real-time software components
Journal of Systems and Software - Special issue: Automated component-based software engineering
A quality-driven systematic approach for architecting distributed software applications
Proceedings of the 27th international conference on Software engineering
QoS Control Strategies for High-Quality Video Processing
Real-Time Systems
Performance analysis framework for large software-intensive systems with a message passing paradigm
Proceedings of the 2005 ACM symposium on Applied computing
Issues in performance certification for high-level automotive control software
SEAS '05 Proceedings of the second international workshop on Software engineering for automotive systems
Undergraduate embedded system education at Carnegie Mellon
ACM Transactions on Embedded Computing Systems (TECS)
A Basis for Analyzing Software Architecture Analysis Methods
Software Quality Control
The essential components of software architecture design and analysis
Journal of Systems and Software
Creating custom containers with generative techniques
Proceedings of the 5th international conference on Generative programming and component engineering
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Refactoring of an Ada 95 library with a Meta CASE tool
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Aspects in the industry standard AADL
Proceedings of the 10th international workshop on Aspect-oriented modeling
Control-scheduling codesign of real-time systems: The control server approach
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
Response time analysis of EDF distributed real-time systems
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
The Architecture of the Apex Platform, salesforce.com's Platform for Building On-Demand Applications
ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Using Models to Improve the Availability of Automotive Software Architectures
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
On the Construction of New-Generation On-Board Real-Time Systems
Integrated Computer-Aided Engineering
Observations on power-efficiency trends in mobile communication devices
EURASIP Journal on Embedded Systems
Performance estimation of distributed real-time embedded systems by discrete event simulations
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Model-driven development with predictable quality
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Journal of Systems and Software
Semantics-preserving multitask implementation of synchronous programs
ACM Transactions on Embedded Computing Systems (TECS)
Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic Priority Systems
IEEE Transactions on Computers
UML&AADL '2007 grand challenges
ACM SIGBED Review
PACC starter kit: developing software with predictable behavior
Companion of the 30th international conference on Software engineering
JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Model-Driven Performance Analysis
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
Response time analysis of software transactional memory-based distributed real-time systems
Proceedings of the 2009 ACM symposium on Applied Computing
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Designing state-based systems with entity-life modeling
Journal of Systems and Software
Multiplexing real-time timed events
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Rate admission control for hard real-time task scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Handling temporal faults in Ada 2005
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Towards budgeting in real-time calculus: deferrable servers
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Global deadline-monotonic scheduling of arbitrary-deadline sporadic task systems
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
Global fixed-priority scheduling of arbitrary-deadline sporadic task systems
ICDCN'08 Proceedings of the 9th international conference on Distributed computing and networking
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Constructing real-time group communication middleware using the resource kernel
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Optimum: a MARTE-based methodology for schedulability analysis at early design stages
ACM SIGSOFT Software Engineering Notes
A model-based approach for multiple QoS in scheduling: from models to implementation
Automated Software Engineering
Modeling languages for real-time and embedded systems: requirements and standards-based solutions
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Schedulability analysis of distributed hard real-time systems with multiple-event synchronization
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Hierarchical scheduling with ada 2005
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Exact best-case end-to-end response time analysis for hard real-time distributed systems
ISCIS'05 Proceedings of the 20th international conference on Computer and Information Sciences
Solving real-time scheduling problems with model-checking
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Embedded Systems Design
Observations on power-efficiency trends in mobile communication devices
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Real-Time scheduling techniques for implementation synthesis from component-based software models
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
End-to-end worst-case response time analysis for hard real-time distributed systems
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Performance evaluation approaches for software architects
Component-Based Software Development for Embedded Systems
Modelling and proof analysis of interrupt driven scheduling
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Feasibility analysis of real-time transactions
Real-Time Systems
Integrated Task and Interrupt Management for Real-Time Systems
ACM Transactions on Embedded Computing Systems (TECS)
The design of the TAO real-time object request broker
Computer Communications
Compositional real-time models
Journal of Systems Architecture: the EUROMICRO Journal
Design of component-based real-time applications
Journal of Systems and Software
Real-time design models to RTOS-specific models refinement verification
Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems
Comparative analysis of real time resource access control protocols using UML 2.0
ACM SIGSOFT Software Engineering Notes
Chip-multiprocessor hardware locks for safety-critical Java
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Best-case response times and jitter analysis of real-time tasks with arbitrary deadlines
Proceedings of the 21st International conference on Real-Time Networks and Systems
DPMP: a software pattern for real-time tasks merge
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.02 |