Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Software

Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System

IEEE Transactions on Software Engineering

English

Central Server Models With Multiple Job Classes, State Dependent Routing, and Rejection Blocking

IEEE Transactions on Software Engineering

English

State-Based Model Checking of Event-Driven System Requirements

IEEE Transactions on Software Engineering

English

Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes

IEEE Transactions on Software Engineering

English

SOFL: A Formal Engineering Methodology for Industrial Applications

IEEE Transactions on Software Engineering

English

Modeling Development Effort in Object-Oriented Systems Using Design Properties

IEEE Transactions on Software Engineering

English

A Taxonomy of Scheduling in General-Purpose Distributed Computing Systems

IEEE Transactions on Software Engineering

English

The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software

IEEE Transactions on Software Engineering

English

Analyzing Data Sets With Missing Data: An Empirical Evaluation of Imputation Methods and Likelihood-Based Methods

IEEE Transactions on Software Engineering

English

Multiparty Interactions for Interprocess Communication and Synchronization

IEEE Transactions on Software Engineering

English