- 2011-12-05The MSO Theory of Connectedly Communicating Processes
- 2011-12-01Symbolically Bounding the Drift in Time-Constrained Message-Sequence-Chart Graphs
- 2011-11-29Language Theoretic CEGAR
- 2011-11-17Monitor-Based Statistical Model checking for Weighted Metric Temporal Logic
- 2011-11-11Complexity Issues of Ternary Boolean Diagrams
- 2011-11-03On the origin of events: maximal confluent processes
- 2011-10-28Software and System developments using Formal Models, Refinements, and Proofs with Event-B
- 2011-10-20Recent advances in program synthesis
- 2011-10-18Game Solving for Industrial Automation and Control – Models,Algorithms, and Tools
- 2011-10-12Real Time Edit Propagation by Efficient Sampling
- 2011-09-08Making big steps in trajectories
- 2011-09-01Security and privacy implications of the multi-component nature of Software-as-a-Service
- 2011-07-27Towards a Coalgebraic Interpretation of Propositional Dynamic Logic
- 2011-07-27Model-Checking Algorithms for CTMDPS
- 2011-07-14Formal validation and requirements management based on the Jackson’s reference model
- 2011-06-24Constant-Approximation for Minimum Connected Dominating Set with Small Routing Cost in Wireless Sensor Networks
- 2011-06-21Logic, Co-induction and Infinite Computation
- 2011-06-09A new style of theorem proving for program checking
- 2011-05-26Specification in PDL with Recursion
- 2011-05-24A journey into the semantics of programming languages