On the Real-state Processing of Regular Operations and The Sakoda-Sipser Problem Fulltext Access 17 Pages 2016
Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing Fulltext Access 17 Pages 2016
Test Data Generation for Cyclic Executives with CBMC and Frama-C: A Case Study Fulltext Access 17 Pages 2016
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems Fulltext Access 17 Pages 2016
A finite axiomatization of conditional independence and inclusion dependencies Fulltext Access 17 Pages 2016
Characterising REGEX languages by regular languages equipped with factor-referencing Fulltext Access 17 Pages 2016
A proof theoretic view of spatial and temporal dependencies in biochemical systems Fulltext Access 18 Pages 2016
Influence of chemical reaction, radiation and rotation on MHD nanofluid flow past a permeable flat plate in porous medium Fulltext Access 18 Pages 2016
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations Fulltext Access 18 Pages 2016
Impact of velocity slip and joule heating on MHD peristaltic flow through a porous medium with chemical reaction Fulltext Access 18 Pages 2016
A sufficient local degree condition for Hamiltonicity in locally finite claw-free graphs Fulltext Access 18 Pages 2016
Multitasking via alternate and shared processing: Algorithms and complexity Fulltext Access 18 Pages 2016
Conditional Monte Carlo With Intermediate Estimations for Simulation of Markovian Systems Fulltext Access 19 Pages 2016
The role of polymorphism in the characterisation of complexity by soft types Fulltext Access 20 Pages 2016
A type assignment for λ-calculus complete both for FPTIME and strong normalization Fulltext Access 20 Pages 2016
The efficiency of second derivative multistep methods for the numerical integration of stiff systems Fulltext Access 21 Pages 2016
A survey-based approach for designing the lines of a rapid transit network Fulltext Access 21 Pages 2016
New insights on neutral binary representations for evolutionary optimization Fulltext Access 22 Pages 2016
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications Fulltext Access 27 Pages 2016
Synthesis of positive logic programs for checking a class of definitions with infinite quantification Fulltext Access 32 Pages 2016
A general SOS theory for the specification of probabilistic transition systems Fulltext Access 34 Pages 2016
A framework for compositional verification of multi-valued systems via abstraction-refinement Fulltext Access 34 Pages 2016
Mitigating covert channels based on analysis of the potential for communication Fulltext Access 37 Pages 2016
Dynamic input/output automata: A formal and compositional model for dynamic systems Fulltext Access 48 Pages 2016
Numerically-aided Deductive Safety Proof for a Powertrain Control System Fulltext Access 7 Pages 2015
Dynamic Subtask Dispersion Reduction in Heterogeneous Parallel Queueing Systems Fulltext Access 14 Pages 2015
Performance Analysis of Collective Adaptive Behaviour in Time and Space Fulltext Access 16 Pages 2015
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper Fulltext Access 17 Pages 2015
Evaluating the Model-Based Testing Approach in the Context of Mobile Applications Fulltext Access 19 Pages 2015