Abstract is missing.
- Verified Software: Theories, Tools, ExperimentsTony Hoare. 3 [doi]
- Global Software Engineering Research in a Small CountryKevin Ryan. 4 [doi]
- Verifying Statecharts with State InvariantsEmil Sekerinski. 7-14 [doi]
- Verifying Semistructured Data Normalization Using PVSScott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves. 15-24 [doi]
- A Scalable Approach to Multi-style Architectural Modeling and VerificationStephen Wong, Jing Sun, Ian Warren, Jun Sun 0001. 25-34 [doi]
- Revisiting Safe Realizability of Message Sequence Charts SpecificationsAbdolmajid Mousavi, Behrouz H. Far. 37-45 [doi]
- iPSL: An Environment for IP-Based PSL SpecificationNaiyong Jin, Juan Zhou, Taoyong Ni. 46-55 [doi]
- Task Mapping in Heterogeneous MPSoCs for System Level DesignKugan Vivekanandarajah, Santhosh Kumar Pilakkat. 56-65 [doi]
- High-Precision Relative Clock Synchronization Using Time Stamp CountersGuosong Tian, Yu-Chu Tian, Colin J. Fidge. 69-78 [doi]
- Integrated Real-Time Scheduling and Communication with Probabilistic Timing Assurances in Unreliable Distributed SystemsFei Huang, Kai Han, Binoy Ravindran, E. Douglas Jensen. 79-88 [doi]
- Why Predicting Outliers in Software is a Good Thing to Do!Norman F. Schneidewind, Mike Hinchey. 91-97 [doi]
- On Extracting Tests from a Testable Model in the Context of Domain EngineeringSoheila Bashardoust-Tajali, Jean-Pierre Corriveau. 98-107 [doi]
- A Formal Model of Semantic Web Service Ontology (WSMO) ExecutionHai H. Wang, Nick Gibbins, Terry R. Payne, Ahmed Saleh, Jun Sun 0001. 111-120 [doi]
- Jini++: A Framework for Developing Pervasive and Wireless Distributed ApplicationsZhi Quan Lee, Yuan Qin Zhu, Ian Warren. 121-130 [doi]
- GENESIS - A Framework for Automatic Generation and Steering of Testbeds of ComplexWeb ServicesLukasz Juszczyk, Hong Linh Truong, Schahram Dustdar. 131-140 [doi]
- Linking VDM and ZJim Woodcock, Leo Freitas. 143-152 [doi]
- POSIX and the Verification Grand Challenge: A RoadmapLeo Freitas, Jim Woodcock, Andrew Butterfield. 153-162 [doi]
- Ambient Intelligence Applications: Introducing the Campus FrameworkAmal El Fallah-Seghrouchni, Karin Breitman, Nicolas Sabouret, Markus Endler, Yasmine Charif, Jean-Pierre Briot. 165-174 [doi]
- Ubiquitous Service Regulation Based on Dynamic RulesJosé Viterbo Filho, Markus Endler, Jean-Pierre Briot. 175-182 [doi]
- The Semantic Web Services Challenge: Tackling Complexity at the Orchestration LevelTiziana Margaria. 183-189 [doi]
- An Environment to Support Large Scale Experimentation in Software EngineeringGuilherme Horta Travassos, Paulo Sérgio Medeiros dos Santos, Paula Gomes Mian, Arilo Claudio Dias Neto, Jorge Calmon de Almeida Biolchini. 193-202 [doi]
- A Framework for Software Engineering Experimental ReplicationsManoel G. Mendonça, José Carlos Maldonado, Maria Cristina Ferreira de Oliveira, Jeffrey Carver, Sandra Camargo Pinto Ferraz Fabbri, Forrest Shull, Guilherme Horta Travassos, Erika Nina Hohn, Victor R. Basili. 203-212 [doi]
- A Concrete Syntax for UML 2.1 Action Semantics Using +CALIsabelle Perseil, Laurent Pautet. 217-221 [doi]
- AnExecution Framework for MARTE-Based ModelsChokri Mraidha, Yann Tanguy, Christophe Jouvray, François Terrier, Sebastien Gerard. 222-227 [doi]
- Dealing with AADL End-to-End Flow Latency with UML MARTESu-Young Lee 0002, Frédéric Mallet, Robert de Simone. 228-233 [doi]
- Contract-Based Approach to Analyze Software ComponentsAbdelhafid Zitouni, Lionel Seinturier, Mahmoud Boufaïda. 237-242 [doi]
- Arcade - A Formal, Extensible, Model-Based Dependability Evaluation FrameworkHichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga. 243-248 [doi]
- An Integrated MDA Approach with SysML and UMLMatthew Clayton Hause, Francis Thom. 249-254 [doi]
- Code Generation from AADL to a Real-Time Operating System: An Experimentation Feedback on the Use of Model TransformationMatthias Brun, Jérôme Delatour, Yvon Trinquet. 257-262 [doi]
- AADL Execution Semantics Transformation for Formal VerificationThomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre Yves Pillain, Jean-Charles Roger. 263-268 [doi]
- Automatic Composition of AADL Models for the Verification of Critical Component-Based Embedded SystemsHugues Balp, Etienne Borde, Grégory Haïk, Jean-François Tilman. 269-274 [doi]
- Using AADL to Model a Protocol StackDidier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers. 277-281 [doi]
- Modes in Asynchronous SystemsJean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas. 282-287 [doi]
- A Study of the AADL Mode Change ProtocolDominique Bertrand, Anne-Marie Déplanche, Sébastien Faucou, Olivier H. Roux. 288-293 [doi]
- Efficient Embedded Runtime Systems through Port Communication OptimizationPeter H. Feiler. 294-300 [doi]