Abstract is missing.
- Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property RefinementLi Tan, Bolong Zeng. 1-25 [doi]
- Forward and Backward Analysis of Weak Sequencing SpecificationThouraya Bouabana-Tebibel, Stuart H. Rubin, Miloud Bennama. 27-53 [doi]
- A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid AutomataJohanna Nellen, Erika Ábrahám, Benedikt Wolters. 55-78 [doi]
- On the Formalization of Cardinal Points of Optical SystemsUmair Siddique, Sofiène Tahar. 79-102 [doi]
- Towards a General Model to Handle Multi-enabledness in Time Petri NetsAbdelli Abdelkrim. 103-131 [doi]
- Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RTAymen Louati, Kamel Barkaoui, Chadlia Jerad. 133-147 [doi]
- Formal Modeling and Analysis of Business Process Timed ConstraintsImed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni. 149-172 [doi]
- A Model-Based Approach for User Requirements Decomposition and Component SelectionMahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe. 173-202 [doi]
- Simplifying Extract-Transform-Load for Ranked Hierarchical Trees via Mapping SpecificationsSarfaraz Soomro, Andréa M. Matsunaga, José A. B. Fortes. 203-225 [doi]
- Evaluating and Extending Latent Methods for Link-Based ClassificationLuke K. McDowell, Aaron Fleming, Zane Markel. 227-256 [doi]
- On Utilizing Nonstandard Abbreviations and Lexicon to Infer Demographic Attributes of Twitter UsersNathaniel Moseley, Cecilia Ovesdotter Alm, Manjeet Rege. 257-278 [doi]
- Any-Time Knowledge Revision and Inconsistency HandlingÉric Grégoire. 279-294 [doi]