Academic Journals Database
Disseminating quality controlled scientific knowledge

Electronic Proceedings in Theoretical Computer Science

ISSN: 2075--2180
Publisher: Open Publishing Association


ADD TO MY LIST
 
A LTL Fragment for GR(1)-Synthesis

Author(s): Andreas Morgenstern | Klaus Schneider
Volume: 50
Issue: Proc. iWIGP 2011
Year: 2011
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives

Author(s): Christian von Essen | Barbara Jobstmann
Volume: 50
Issue: Proc. iWIGP 2011
Year: 2011
Synchronizing Objectives for Markov Decision Processes

Author(s): Laurent Doyen | Thierry Massart | Mahsa Shirmohammadi
Volume: 50
Issue: Proc. iWIGP 2011
Year: 2011
Memory Reduction via Delayed Simulation

Author(s): Marcus Gelderie | Michael Holtmann
Volume: 50
Issue: Proc. iWIGP 2011
Year: 2011
Experimental Aspects of Synthesis

Author(s): Rüdiger Ehlers
Volume: 50
Issue: Proc. iWIGP 2011
Year: 2011
Towards a Unifying View of QoS-Enhanced Web Service Description and Discovery Approaches

Author(s): Dessislava Petrova-Antonova | Sylvia Ilieva
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
An Introduction to Simulation-Based Techniques for Automated Service Composition

Author(s): Fabio Patrizi
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
Service-oriented Context-aware Framework

Author(s): László Kovács | Péter Mátételki | Balázs Pataki
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
Fairness as a QoS Measure for Web Services

Author(s): Stefano Bistarelli | Paola Campli
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
Reasoning About a Service-oriented Programming Paradigm

Author(s): Claudio Guidi | Fabrizio Montesi
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
Adaptive Process Management in Highly Dynamic and Pervasive Scenarios

Author(s): Massimiliano de Leoni
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
Soft Constraints for Quality Aspects in Service Oriented Architectures

Author(s): Stefano Bistarelli | Francesco Santini
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
Towards Activity Context using Software Sensors

Author(s): Kamran Taj Pathan | Stephan Reiff-Marganiec
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption

Author(s): Ahmed Mihoob | Carlos Molina-Jimenez
Volume: 2
Issue: Proc. YR-SOC 2009
Year: 2009
Proving Properties of Rich Internet Applications

Author(s): James Smith
Volume: 123
Issue: Proc. WWV 2013
Year: 2013
Amending Choreographies

Author(s): Ivan Lanese | Fabrizio Montesi | Gianluigi Zavattaro
Volume: 123
Issue: Proc. WWV 2013
Year: 2013
Local Type Checking for Linked Data Consumers

Author(s): Gabriel Ciobanu | Ross Horne | Vladimiro Sassone
Volume: 123
Issue: Proc. WWV 2013
Year: 2013
Blind-date Conversation Joining

Author(s): Luca Cesari | Rosario Pugliese | Francesco Tiezzi
Volume: 123
Issue: Proc. WWV 2013
Year: 2013
Analyzing Consistency of Behavioral REST Web Service Interfaces

Author(s): Irum Rauf | Ali Hanzala Khan | Ivan Porres
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Adding Sessions to BPEL

Author(s): Jonathan Michaux | Elie Najm | Alessandro Fantechi
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Using the DOM Tree for Content Extraction

Author(s): Sergio López | Josep Silva | David Insa
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
The Jasper Framework: Towards a Platform Independent, Formal Treatment ofWeb Programming

Author(s): James Smith
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Model Validation in Ontology Based Transformations

Author(s): Jesús M. Almendros-Jiménez | Luis Iribarne
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services

Author(s): Leonidas Lampropoulos | Konstantinos Sagonas
Volume: 98
Issue: Proc. WWV 2012
Year: 2012
A type checking algorithm for qualified session types

Author(s): Marco Giunti
Volume: 61
Issue: Proc. WWV 2011
Year: 2011
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language

Author(s): Letterio Galletta | Giorgio Levi
Volume: 61
Issue: Proc. WWV 2011
Year: 2011
Debugging of Web Applications with Web-TLR

Author(s): María Alpuente | Demis Ballis | Javier Espert | Francisco Frechina | Daniel Romero
Volume: 61
Issue: Proc. WWV 2011
Year: 2011
Automated Functional Testing based on the Navigation of Web Applications

Author(s): Boni García | Juan Carlos Dueñas
Volume: 61
Issue: Proc. WWV 2011
Year: 2011
Product Lines for Service Oriented Applications - PL for SOA

Author(s): Maurice H. ter Beek | Stefania Gnesi | Mercy N. Njima
Volume: 61
Issue: Proc. WWV 2011
Year: 2011
Specification and Verification of Context-dependent Services

Author(s): Naseem Ibrahim | Vangalur Alagar | Mubarak Mohammad
Volume: 61
Issue: Proc. WWV 2011
Year: 2011
A theorem proving framework for the formal verification of Web Services Composition

Author(s): Petros Papapanagiotou | Jacques D. Fleuriot
Volume: 61
Issue: Proc. WWV 2011
Year: 2011
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic

Author(s): Hans Zantema
Volume: 82
Issue: Proc. WRS 2011
Year: 2012
Productivity of Non-Orthogonal Term Rewrite Systems

Author(s): Matthias Raffelsieper
Volume: 82
Issue: Proc. WRS 2011
Year: 2012
Lazy AC-Pattern Matching for Rewriting

Author(s): Walid Belkhir | Alain Giorgetti
Volume: 82
Issue: Proc. WRS 2011
Year: 2012
Basic completion strategies as another application of the Maude strategy language

Author(s): Alberto Verdejo | Narciso Martí-Oliet
Volume: 82
Issue: Proc. WRS 2011
Year: 2012
The Design of GP 2

Author(s): Detlef Plump
Volume: 82
Issue: Proc. WRS 2011
Year: 2012
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

Author(s): Daniel Ventura | Mauricio Ayala-Rincón | Fairouz Kamareddine
Volume: 15
Issue: Proc. WRS 2009
Year: 2010
Stream Productivity by Outermost Termination

Author(s): Hans Zantema | Matthias Raffelsieper
Volume: 15
Issue: Proc. WRS 2009
Year: 2010
Extending Context-Sensitivity in Term Rewriting

Author(s): Bernhard Gramlich | Felix Schernhammer
Volume: 15
Issue: Proc. WRS 2009
Year: 2010
Specification of Products and Product Lines

Author(s): Ariel Gonzalez | Carlos Luna
Volume: 15
Issue: Proc. WRS 2009
Year: 2010
Strategies in PRholog

Author(s): Besik Dundua | Temur Kutsia | Mircea Marin
Volume: 15
Issue: Proc. WRS 2009
Year: 2010
Superdevelopments for Weak Reduction

Author(s): Eduardo Bonelli | Pablo Barenbaum
Volume: 15
Issue: Proc. WRS 2009
Year: 2010
Extensional and Intensional Strategies

Author(s): Tony Bourdier | Horatiu Cirstea | Daniel Dougherty | Hélène Kirchner
Volume: 15
Issue: Proc. WRS 2009
Year: 2010
Permutation Complexity Related to the Letter Doubling Map

Author(s): Steven Widmer
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Permutation complexity of the fixed points of some uniform binary morphisms

Author(s): Alexander Valyuzhenich
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
On the Delone property of (−β)-integers

Author(s): Wolfgang Steiner
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Optimizing Properties of Balanced Words

Author(s): Nikita Sidorov
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
The Critical Exponent is Computable for Automatic Sequences

Author(s): Jeffrey Shallit
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Word posets, with applications to Coxeter groups

Author(s): Matthew J. Samuel
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Systems of Word Equations and Polynomials: a New Approach

Author(s): Aleksi Saarela
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Information theory: Sources, Dirichlet series, and realistic analyses of data structures

Author(s): Mathieu Roux | Brigitte Vallée
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Fife's Theorem for (7/3)-Powers

Author(s): Narad Rampersad | Jeffrey Shallit | Arseny Shur
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Abelian returns in Sturmian words

Author(s): Svetlana Puzynina | Luca Q. Zamboni
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Constructing Premaximal Binary Cube-free Words of Any Level

Author(s): Elena A. Petrova | Arseny M. Shur
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Unambiguous 1-Uniform Morphisms

Author(s): Hossein Nevisi | Daniel Reidenbach
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
The complexity of tangent words

Author(s): Thierry Monteil
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
A new proof for the decidability of D0L ultimate periodicity

Author(s): Vesa Halava | Tero Harju | Tomi Kärki
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
On Pansiot Words Avoiding 3-Repetitions

Author(s): Irina A. Gorbunova | Arseny M. Shur
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
A Classification of Trapezoidal Words

Author(s): Gabriele Fici
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Dynamical generalizations of the Lagrange spectrum

Author(s): Sébastien Ferenczi
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Substitutions over infinite alphabet generating (−β)-integers

Author(s): Daniel Dombek
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
From Regular to Strictly Locally Testable Languages

Author(s): Stefano Crespi Reghizzi | Pierluigi San Pietro
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Bounded Parikh Automata

Author(s): Michaël Cadilhac | Alain Finkel | Pierre McKenzie
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Monoids and Maximal Codes

Author(s): Fabio Burderi
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Recurrent Partial Words

Author(s): Francine Blanchet-Sadri | Aleksandar Chakarov | Lucas Manuelli | Jarett Schwartz | Slater Stich
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Pattern Avoidability with Involution

Author(s): Bastian Bischoff | Dirk Nowotka
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Pattern 1^j0^i avoiding binary words

Author(s): Stefano Bilotta | Elisa Pergola | Renzo Pinzani
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Uniformly balanced words with linear complexity and prescribed letter frequencies

Author(s): Valérie Berthé | Sébastien Labbé
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Finite-Repetition threshold for infinite ternary words

Author(s): Golnaz Badkobeh | Maxime Crochemore
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Circular words and applications

Author(s): Benoît Rittaud | Laurent Vivier
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Infinite permutations vs. infinite words

Author(s): Anna E. Frid
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
Interactions between Digital Geometry and Combinatorics on Words

Author(s): Srečko Brlek
Volume: 63
Issue: Proc. WORDS 2011
Year: 2011
A Reusable Component for Communication and Data Synchronization in Mobile Distributed Interactive Applications

Author(s): Abdul Malik Khan | Sophie Chabridon | Antoine Beugnard
Volume: 37
Issue: Proc. WCSI 2010
Year: 2010
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability

Author(s): Meriem Ouederni | Gwen Salaün
Volume: 37
Issue: Proc. WCSI 2010
Year: 2010
Partition Refinement of Component Interaction Automata: Why Structure Matters More Than Size

Author(s): Markus Lumpe | Rajesh Vasa
Volume: 37
Issue: Proc. WCSI 2010
Year: 2010
Multilevel Contracts for Trusted Components

Author(s): Mohamed Messabihi | Pascal André | Christian Attiogbé
Volume: 37
Issue: Proc. WCSI 2010
Year: 2010
Behavioural Models for Group Communications

Author(s): Rabéa Ameur-Boulifa | Ludovic Henrio | Eric Madelaine
Volume: 37
Issue: Proc. WCSI 2010
Year: 2010
Components Interoperability through Mediating Connector Patterns

Author(s): Romina Spalazzese | Paola Inverardi
Volume: 37
Issue: Proc. WCSI 2010
Year: 2010
Contract Aware Components, 10 years after

Author(s): Antoine Beugnard | Jean-Marc Jézéquel | Noël Plouzeau
Volume: 37
Issue: Proc. WCSI 2010
Year: 2010
On the Complexity of the Tiden-Arnborg Algorithm for Unification modulo One-Sided Distributivity

Author(s): Paliath Narendran | Andrew Marshall | Bibhu Mahapatra
Volume: 42
Issue: Proc. UNIF 2010
Year: 2010
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

Author(s): Sunil Kothari | James Caldwell
Volume: 42
Issue: Proc. UNIF 2010
Year: 2010
Unification modulo a partial theory of exponentiation

Author(s): Deepak Kapur | Andrew Marshall | Paliath Narendran
Volume: 42
Issue: Proc. UNIF 2010
Year: 2010
Nominal Unification Revisited

Author(s): Christian Urban
Volume: 42
Issue: Proc. UNIF 2010
Year: 2010
Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

Author(s): Conrad Rau | Manfred Schmidt-Schauß
Volume: 42
Issue: Proc. UNIF 2010
Year: 2010
Stateless HOL

Author(s): Freek Wiedijk
Volume: 53
Issue: Proc. TYPES 2009
Year: 2011
Superposition as a logical glue

Author(s): Andrea Asperti | Enrico Tassi
Volume: 53
Issue: Proc. TYPES 2009
Year: 2011
Typed Operational Semantics for Dependent Record Types

Author(s): Yangyue Feng | Zhaohui Luo
Volume: 53
Issue: Proc. TYPES 2009
Year: 2011
Nonuniform Coercions via Unification Hints

Author(s): Claudio Sacerdoti Coen | Enrico Tassi
Volume: 53
Issue: Proc. TYPES 2009
Year: 2011
An NMF solution for the Flowgraphs case at the TTC 2013

Author(s): Georg Hinkel | Thomas Goldschmidt | Lucia Happe
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
PN2SC Case Study: An EMF-IncQuery solution

Author(s): Benedek Izsó | Ábel Hegedüs | Gábor Bergmann | Ákos Horváth | István Ráth
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS

Author(s): K. Lano | S. Kolahdouz-Rahimi | K. Maroukian
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
An NMF solution for the Petri Nets to State Charts case study at the TTC 2013

Author(s): Georg Hinkel | Thomas Goldschmidt | Lucia Happe
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT

Author(s): Tassilo Horn
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Class Diagram Restructuring with GROOVE

Author(s): Wietse Smid | Arend Rensink
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Solving the Class Diagram Restructuring Transformation Case with FunnyQT

Author(s): Tassilo Horn
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

Author(s): Anthony Anjorin | Marius Lauder
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
The TTC 2013 Flowgraphs Case

Author(s): Tassilo Horn
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Solving the Flowgraphs Case with Eclectic

Author(s): Jesús Sánchez Cuadrado
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
The Petri-Nets to Statecharts Transformation Case

Author(s): Pieter Van Gorp | Louis M. Rose
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Case study: Class diagram restructuring

Author(s): K. Lano | S. Kolahdouz Rahimi
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Analyzing Flowgraphs with ATL

Author(s): Valerio Cosentino | Massimo Tisi | Fabian Büttner
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Solving the TTC 2013 Flowgraphs Case with FunnyQT

Author(s): Tassilo Horn
Volume: 135
Issue: Proc. TTC 2013
Year: 2013
Solving the TTC 2011 Compiler Optimization Case with GROOVE

Author(s): Arend Rensink | Eduardo Zambon
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Compiler Optimization Case with GrGen.NET

Author(s): Sebastian Buchwald | Edgar Jakumeit
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Model Migration Case with UML-RSDS

Author(s): K. Lano | S. Kolahdouz-Rahimi
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
HelloWorld! An Instructive Case for the Transformation Tool Contest

Author(s): Steffen Mazanek
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Program Understanding: A Reengineering Case for the Transformation Tool Contest

Author(s): Tassilo Horn
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Compiler Optimization: A Case for the Transformation Tool Contest

Author(s): Sebastian Buchwald | Edgar Jakumeit
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
GMF: A Model Migration Case for the Transformation Tool Contest

Author(s): Markus Herrmannsdoerfer
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Model Migration Case with Edapt

Author(s): Markus Herrmannsdoerfer
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with Epsilon – A Solution to the 2011 Instructive Case

Author(s): Louis M. Rose | Antonio García-Domínguez | James R. Williams | Dimitrios S. Kolovos | Richard F. Paige | Fiona A.C. Polack
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with UML-RSDS – A Solution to the 2011 Instructive Case

Author(s): K. Lano | S. Kolahdouz-Rahimi
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case

Author(s): Ábel Hegedus | Zoltán Ujhelyi | Gábor Bergmann
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with GReTL – A Solution to the TTC 2011 Instructive Case

Author(s): Tassilo Horn
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case

Author(s): Sebastian Buchwald | Edgar Jakumeit
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case

Author(s): Stefan Jurack | Johannes Tietje
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case

Author(s): Elina Kalnina | Audris Kalnins | Agris Sostaks | Janis Iraids | Edgars Celms
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying HelloWorld with QVTR-XSLT — A Solution to the TTC 2011 Instructive Case

Author(s): Dan Li | Xiaoshan Li | Volker Stolz
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Author(s): Amir Hossein Ghamarian | Maarten de Mol | Arend Rensink | Eduardo Zambon
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Reengineering Case with Henshin

Author(s): Stefan Jurack | Johannes Tietje
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Reengineering Case with GrGen.NET

Author(s): Edgar Jakumeit | Sebastian Buchwald
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations

Author(s): Agris Sostaks | Elina Kalnina | Audris Kalnins | Edgars Celms | Janis Iraids
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Reengineering Case with Edapt

Author(s): Markus Herrmannsdoerfer
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Reengineering Case with VIATRA2

Author(s): Ábel Hegedus | Zoltán Ujhelyi | Gábor Bergmann
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Reengineering Case with GReTL

Author(s): Tassilo Horn
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Compiler Optimization Case with GReTL

Author(s): Tassilo Horn
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Compiler Optimization Task with metatools

Author(s): Markus Lepper | Baltasar Trancón y Widemann
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Solving the TTC 2011 Compiler Optimization Case with QVTR-XSLT

Author(s): Dan Li | Xiaoshan Li | Volker Stolz
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Saying Hello World with Edapt - A Solution to the TTC 2011 Instructive Case

Author(s): Markus Herrmannsdoerfer
Volume: 74
Issue: Proc. TTC 2011
Year: 2011
Isabelle/PIDE as Platform for Educational Tools

Author(s): Makarius Wenzel | Burkhart Wolff
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs

Author(s): Wolfgang Schreiner
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment

Author(s): Vanda Santos | Pedro Quaresma
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
The GF Mathematics Library

Author(s): Jordi Saludes | Sebastian Xambó
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
Automated Generation of User Guidance by Combining Computation and Deduction

Author(s): Walther Neuper
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
Formalization and Implementation of Algebraic Methods in Geometry

Author(s): Filip Marić | Ivan Petrović | Danijela Petrović | Predrag Janičić
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
Automatic Deduction in Dynamic Geometry using Sage

Author(s): Francisco Botana | Miguel A. Abánades
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support

Author(s): Ralph-Johan Back | Johannes Eriksson
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
Towards an Intelligent Tutor for Mathematical Proofs

Author(s): Serge Autexier | Dominik Dietrich | Marvin Schiller
Volume: 79
Issue: Proc. THedu 2011
Year: 2012
Forty hours of declarative programming: Teaching Prolog at the Junior College Utrecht

Author(s): Jurriën Stutterheim | Wouter Swierstra | Doaitse Swierstra
Volume: 106
Issue: Proc. TFPIE 2012
Year: 2013
Mathematics Is Imprecise

Author(s): Prabhakar Ragde
Volume: 106
Issue: Proc. TFPIE 2012
Year: 2013
Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language

Author(s): John T. O'Donnell
Volume: 106
Issue: Proc. TFPIE 2012
Year: 2013
How Computers Work: Computational Thinking for Everyone

Author(s): Rex Page | Ruben Gamboa
Volume: 106
Issue: Proc. TFPIE 2012
Year: 2013
Bigraphical Nets

Author(s): Maribel Fernández | Ian Mackie | Matthew Walker
Volume: 110
Issue: Proc. TERMGRAPH 2013
Year: 2013
Term Graph Representations for Cyclic Lambda-Terms

Author(s): Clemens Grabmayer | Jan Rochel
Volume: 110
Issue: Proc. TERMGRAPH 2013
Year: 2013
Evaluating functions as processes

Author(s): Beniamino Accattoli
Volume: 110
Issue: Proc. TERMGRAPH 2013
Year: 2013
Linear Compressed Pattern Matching for Polynomial Rewriting (Extended Abstract)

Author(s): Manfred Schmidt-Schauss
Volume: 110
Issue: Proc. TERMGRAPH 2013
Year: 2013
Convergence in Infinitary Term Graph Rewriting Systems is Simple (Extended Abstract)

Author(s): Patrick Bahr
Volume: 110
Issue: Proc. TERMGRAPH 2013
Year: 2013
Non-simplifying Graph Rewriting Termination

Author(s): Guillaume Bonfante | Bruno Guillaume
Volume: 110
Issue: Proc. TERMGRAPH 2013
Year: 2013
A new graphical calculus of proofs

Author(s): Sandra Alves | Maribel Fernández | Ian Mackie
Volume: 48
Issue: Proc. TERMGRAPH 2011
Year: 2011
PORGY: Strategy-Driven Interactive Transformation of Graphs

Author(s): Oana Andrei | Maribel Fernández | Hélène Kirchner | Guy Melançon | Olivier Namet | Bruno Pinaud
Volume: 48
Issue: Proc. TERMGRAPH 2011
Year: 2011
Rule-based transformations for geometric modelling

Author(s): Thomas Bellet | Agnès Arnould | Pascale Le Gall
Volume: 48
Issue: Proc. TERMGRAPH 2011
Year: 2011
Term Graph Rewriting and Parallel Term Rewriting

Author(s): Andrea Corradini | Frank Drewes
Volume: 48
Issue: Proc. TERMGRAPH 2011
Year: 2011
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)

Author(s): Jan Rochel | Clemens Grabmayer
Volume: 48
Issue: Proc. TERMGRAPH 2011
Year: 2011
Dependently-Typed Formalisation of Typed Term Graphs

Author(s): Wolfram Kahl
Volume: 48
Issue: Proc. TERMGRAPH 2011
Year: 2011
Structural Learning of Attack Vectors for Generating Mutated XSS Attacks

Author(s): Yi-Hsun Wang | Ching-Hao Mao | Hahn-Ming Lee
Volume: 35
Issue: Proc. TAV-WEB 2010
Year: 2010
Optimizing Computation of Recovery Plans for BPEL Applications

Author(s): Jocelyn Simmonds | Shoham Ben-David | Marsha Chechik
Volume: 35
Issue: Proc. TAV-WEB 2010
Year: 2010
Analysis and Verification of Service Interaction Protocols - A Brief Survey

Author(s): Gwen Salaün
Volume: 35
Issue: Proc. TAV-WEB 2010
Year: 2010
Contracting the Facebook API

Author(s): Ben Rubinger | Tevfik Bultan
Volume: 35
Issue: Proc. TAV-WEB 2010
Year: 2010
Browser-based Analysis of Web Framework Applications

Author(s): Benjamin Kersten | Michael Goedicke
Volume: 35
Issue: Proc. TAV-WEB 2010
Year: 2010
Relational Constraint Driven Test Case Synthesis for Web Applications

Author(s): Xiang Fu
Volume: 35
Issue: Proc. TAV-WEB 2010
Year: 2010
Preventing SQL Injection through Automatic Query Sanitization with ASSIST

Author(s): Raymond Mui | Phyllis Frankl
Volume: 35
Issue: Proc. TAV-WEB 2010
Year: 2010
Covert channel detection using Information Theory

Author(s): Loïc Hélouët | Aline Roumy
Volume: 51
Issue: Proc. SecCo 2010
Year: 2011
On the Decidability of Non Interference over Unbounded Petri Nets

Author(s): Eike Best | Philippe Darondeau | Roberto Gorrieri
Volume: 51
Issue: Proc. SecCo 2010
Year: 2011
A Spatial-Epistemic Logic for Reasoning about Security Protocols

Author(s): Bernardo Toninho | Luís Caires
Volume: 51
Issue: Proc. SecCo 2010
Year: 2011
Synthesizing Robust Systems with RATSY

Author(s): Roderick Bloem | Hans-Jürgen Gamauf | Georg Hofferek | Bettina Könighofer | Robert Könighofer
Volume: 84
Issue: Proc. SYNT 2012
Year: 2012
Theory and Techniques for Synthesizing a Family of Graph Algorithms

Author(s): Srinivas Nedunuri | William R. Cook | Douglas R. Smith
Volume: 84
Issue: Proc. SYNT 2012
Year: 2012
Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs

Author(s): Roopsha Samanta
Volume: 84
Issue: Proc. SYNT 2012
Year: 2012
Sparse Positional Strategies for Safety Games

Author(s): Rüdiger Ehlers | Daniela Moldovan
Volume: 84
Issue: Proc. SYNT 2012
Year: 2012
Verifying Probabilistic Correctness in Isabelle with pGCL

Author(s): David Cock
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Author(s): Christel Baier | Marcus Daum | Benjamin Engel | Hermann Härtig | Joachim Klein | Sascha Klüppelholz | Steffen Märcker | Hendrik Tews | Marcus Völp
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Time-Darts: A Data Structure for Verification of Closed Timed Automata

Author(s): Kenneth Y. Jørgensen | Kim G. Larsen | Jiří Srba
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Author(s): Alexandre David | Lasse Jacobsen | Morten Jacobsen | Jiří Srba
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications

Author(s): Chris Hathhorn | Michela Becchi | William L. Harrison | Adam Procter
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Static Analysis of Lockless Microcontroller C Programs

Author(s): Eva Beckschulze | Sebastian Biallas | Stefan Kowalewski
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
CTGEN - a Unit Test Generator for C

Author(s): Tatiana Mangels | Jan Peleska
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

Author(s): Hendrik Tews | Marcus Völp | Tjark Weber
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Distributed Priority Synthesis

Author(s): Chih-Hong Cheng | Rongjie Yan | Saddek Bensalem | Harald Ruess
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Automatic Function Annotations for Hoare Logic

Author(s): Daniel Matichuk
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
A Formal Model of a Virtual Filesystem Switch

Author(s): Gidon Ernst | Gerhard Schellhorn | Dominik Haneberg | Jörg Pfähler | Wolfgang Reif
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Lessons Learned From Microkernel Verification — Specification is the New Bottleneck

Author(s): Christoph Baumann | Bernhard Beckert | Holger Blasum | Thorsten Bormer
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Automatic Verification of Message-Based Device Drivers

Author(s): Sidney Amani | Peter Chubb | Alastair F. Donaldson | Alexander Legg | Leonid Ryzhyk | Yanjin Zhu
Volume: 102
Issue: Proc. SSV 2012
Year: 2012
Strategic Analysis of Trust Models for User-Centric Networks

Author(s): Marta Kwiatkowska | David Parker | Aistis Simaitis
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Lossy Channel Games under Incomplete Information

Author(s): Rayna Dimitrova | Bernd Finkbeiner
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Infinite games with uncertain moves

Author(s): Nicholas Asher | Soumya Paul
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Restricted Manipulation in Iterative Voting: Convergence and Condorcet Efficiency

Author(s): Umberto Grandi | Andrea Loreggia | Francesca Rossi | Kristen Brent Venable | Toby Walsh
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Functional Dependence in Strategic Games (extended abstract)

Author(s): Kristine Harjes | Pavel Naumov
Volume: 112
Issue: Proc. SR 2013
Year: 2013
The Complexity of Synthesizing Uniform Strategies

Author(s): Bastien Maubert | Sophie Pinchinat | Laura Bozzelli
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Synthesizing Structured Reactive Programs via Deterministic Tree Automata

Author(s): Benedikt Brütsch
Volume: 112
Issue: Proc. SR 2013
Year: 2013
A rewriting point of view on strategies

Author(s): Hélène Kirchner
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Towards an Updatable Strategy Logic

Author(s): Christophe Chareton | Julien Brunel | David Chemouil
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

Author(s): Dimitar P. Guelev
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Reasoning about Strategies under Partial Observability and Fairness Constraints

Author(s): Simon Busard | Charles Pecheur | Hongyang Qu | Franco Raimondi
Volume: 112
Issue: Proc. SR 2013
Year: 2013
Concurrent Game Structures with Roles

Author(s): Truls Pedersen | Sjur Dyrkolbotn | Piotr Kaźmierczak | Erik Parmann
Volume: 112
Issue: Proc. SR 2013
Year: 2013
On the Unification of Process Semantics: Logical Semantics

Author(s): David Romero-Hernández | David de Frutos-Escrig
Volume: 62
Issue: Proc. SOS 2011
Year: 2011
Regular Expression Matching and Operational Semantics

Author(s): Asiri Rathnayake | Hayo Thielecke
Volume: 62
Issue: Proc. SOS 2011
Year: 2011
Formal Component-Based Semantics

Author(s): Ken Madlener | Sjaak Smetsers | Marko van Eekelen
Volume: 62
Issue: Proc. SOS 2011
Year: 2011
Axiomatizing GSOS with Predicates

Author(s): Luca Aceto | Georgiana Caltais | Eugen-Ioan Goriac | Anna Ingolfsdottir
Volume: 62
Issue: Proc. SOS 2011
Year: 2011
Hierarchical states in the Compositional Interchange Format

Author(s): H. Beohar | D.E. Nadales Agut | D.A. van Beek | P.J.L. Cuijpers
Volume: 32
Issue: Proc. SOS 2010
Year: 2010
Structural Decomposition of Reactions of Graph-Like Objects

Author(s): Tobias Heindel
Volume: 32
Issue: Proc. SOS 2010
Year: 2010
Equational Characterization of Covariant-Contravariant Simulation and Conformance Simulation Semantics

Author(s): Ignacio Fábregas | David de Frutos Escrig | Miguel Palomino
Volume: 32
Issue: Proc. SOS 2010
Year: 2010
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

Author(s): Maciej Gazda | Wan Fokkink
Volume: 32
Issue: Proc. SOS 2010
Year: 2010
Rewriting Logic Semantics of a Plan Execution Language

Author(s): Gilles Dowek | César Muñoz | Camilo Rocha
Volume: 18
Issue: Proc. SOS 2009
Year: 2010
Analysis of Boolean Equation Systems through Structure Graphs

Author(s): Michel A. Reniers | Tim A.C. Willemse
Volume: 18
Issue: Proc. SOS 2009
Year: 2010
Reverse Bisimulations on Stable Configuration Structures

Author(s): Iain Phillips | Irek Ulidowski
Volume: 18
Issue: Proc. SOS 2009
Year: 2010
On Barbs and Labels in Reactive Systems

Author(s): Filippo Bonchi | Fabio Gadducci | Giacoma Valentina Monreale
Volume: 18
Issue: Proc. SOS 2009
Year: 2010
A Fully Abstract Symbolic Semantics for Psi-Calculi

Author(s): Magnus Johansson | Björn Victor | Joachim Parrow
Volume: 18
Issue: Proc. SOS 2009
Year: 2010
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

Author(s): Luca Aceto | Matteo Cimini | Anna Ingolfsdottir
Volume: 18
Issue: Proc. SOS 2009
Year: 2010
Causality in the Semantics of Esterel: Revisited

Author(s): MohammadReza Mousavi
Volume: 18
Issue: Proc. SOS 2009
Year: 2010
Fair Exchange in Strand Spaces

Author(s): Joshua D. Guttman
Volume: 7
Issue: Proc. SECCO 2009
Year: 2009
How to Work with Honest but Curious Judges? (Preliminary Report)

Author(s): Jun Pang | Chenyi Zhang
Volume: 7
Issue: Proc. SECCO 2009
Year: 2009
A User Model for Information Erasure

Author(s): Filippo Del Tedesco | David Sands
Volume: 7
Issue: Proc. SECCO 2009
Year: 2009
Studying Maximum Information Leakage Using Karush-Kuhn-Tucker Conditions

Author(s): Han Chen | Pasquale Malacaria
Volume: 7
Issue: Proc. SECCO 2009
Year: 2009
Heuristic Methods for Security Protocols

Author(s): Qurat ul Ain Nizamani | Emilio Tuosto
Volume: 7
Issue: Proc. SECCO 2009
Year: 2009
Performing Implicit Induction Reasoning with Certifying Proof Environments

Author(s): Amira Henaien | Sorin Stratulat
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
Delegation Management Modeling in a Security Policy based Environment

Author(s): Ryma Abassi | Sihem Guemara El Fatmi
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
Formal Analysis of Soft Errors using Theorem Proving

Author(s): Naeem Abbasi | Osman Hasan | Sofiène Tahar
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
Towards a General Framework for Formal Reasoning about Java Bytecode Transformation

Author(s): Razika Lounas | Mohamed Mezghiche | Jean-Louis Lanet
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
Formal verification of a proof procedure for the description logic ALC

Author(s): Mohamed Chaabani | Mohamed Mezghiche | Martin Strecker
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
Compiling symbolic attacks to protocol implementation tests

Author(s): Hatem Ghabri | Ghazi Maatoug | Michael Rusinowitch
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
On the Verification of a WiMax Design Using Symbolic Simulation

Author(s): Salim Ismail Al-Akhras | Sofiène Tahar | Gabriela Nicolescu | Michel Langevin | Pierre Paulin
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
A New PVSS Scheme with a Simple Encryption Function

Author(s): Assia Ben Shil | Kaouther Blibech | Riadh Robbana | Wafa Neji
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection

Author(s): Maissa Elleuch | Osman Hasan | Sofiène Tahar | Mohamed Abid
Volume: 122
Issue: Proc. SCSS 2012
Year: 2013
Bisimilarity and refinement for hybrid(ised) logics

Author(s): Alexandre Madeira | Manuel A. Martins | Luís Soares Barbosa
Volume: 115
Issue: Proc. Refine 2013
Year: 2013
Relaxing Behavioural Inheritance

Author(s): Nuno Amálio
Volume: 115
Issue: Proc. Refine 2013
Year: 2013
Refining SCJ Mission Specifications into Parallel Handler Designs

Author(s): Frank Zeyda | Ana Cavalcanti
Volume: 115
Issue: Proc. Refine 2013
Year: 2013
Modelling and Refinement in CODA

Author(s): Michael Butler | John Colley | Andrew Edmunds | Colin Snook | Neil Evans | Neil Grant | Helen Marshall
Volume: 115
Issue: Proc. Refine 2013
Year: 2013
Data refinement for true concurrency

Author(s): Brijesh Dongol | John Derrick
Volume: 115
Issue: Proc. Refine 2013
Year: 2013
On a New Notion of Partial Refinement

Author(s): Emil Sekerinski | Tian Zhang
Volume: 115
Issue: Proc. Refine 2013
Year: 2013
Concurrent Scheduling of Event-B Models

Author(s): Pontus Boström | Fredrik Degerlund | Kaisa Sere | Marina Waldén
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Perspicuity and Granularity in Refinement

Author(s): Eerke Boiten
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
A CSP Account of Event-B Refinement

Author(s): Steve Schneider | Helen Treharne | Heike Wehrheim
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Formalising the Continuous/Discrete Modeling Step

Author(s): Richard Banach | Huibiao Zhu | Wen Su | Runlei Huang
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Model exploration and analysis for quantitative safety refinement in probabilistic B

Author(s): Ukachukwu Ndukwu | Annabelle McIver
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Refinement for Probabilistic Systems with Nondeterminism

Author(s): Steve Reeves | David Streader
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Refinement-based verification of sequential implementations of Stateflow charts

Author(s): Alvaro Miyazawa | Ana Cavalcanti
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Refinement by interpretation in π-institutions

Author(s): César Rodrigues | Manuel A. Martins | Alexandre Madeira | Luis S. Barbosa
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Building a refinement checker for Z

Author(s): John Derrick | Siobhán North | Anthony J.H. Simons
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Bigraphical Refinement

Author(s): Gian Perrone | Søren Debois | Thomas Hildebrandt
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Discovery of Invariants through Automated Theory Formation

Author(s): Maria Teresa Llano | Andrew Ireland | Alison Pease
Volume: 55
Issue: Proc. Refine 2011
Year: 2011
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

Author(s): Benoît Boyer | Thomas Genet
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
A Type System for Tom

Author(s): Claude Kirchner | Pierre-Etienne Moreau | Cláudia Tavares
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars

Author(s): Rodrigo Machado | Reiko Heckel | Leila Ribeiro
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications

Author(s): Daniel J. Dougherty
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
Object-oriented Programming Laws for Annotated Java Programs

Author(s): Gabriel Falconieri Freitas | Márcio Cornélio | Tiago Massoni | Rohit Gheyi
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
The Semantics of Graph Programs

Author(s): Detlef Plump | Sandra Steinert
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
An Implementation of Nested Pattern Matching in Interaction Nets

Author(s): Abubakar Hassan | Eugen Jiresch | Shinya Sato
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
Graph Creation, Visualisation and Transformation

Author(s): Maribel Fernández | Olivier Namet
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
Automatic Generation of Proof Tactics for Finite-Valued Logics

Author(s): João Marcos
Volume: 21
Issue: Proc. RULE 2009
Year: 2010
Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control

Author(s): Mu Sun | José Meseguer
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
Lightweight Time Modeling in Timed Creol

Author(s): Joakim Bjørk | Einar Broch Johnsen | Olaf Owe | Rudolf Schlatte
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

Author(s): Musab AlTurki | José Meseguer
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude

Author(s): Martin Wirsing | Sebastian S. Bauer | Andreas Schroeder
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family

Author(s): Peter Csaba Ölveczky | José Meseguer
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

Author(s): Daniela Lepri | Peter Csaba Ölveczky | Erika Ábrahám
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
A Rewriting-Logic-Based Technique for Modeling Thermal Systems

Author(s): Muhammad Fadlisyah | Erika Ábrahám | Daniela Lepri | Peter Csaba Ölveczky
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models

Author(s): Kyungmin Bae | Peter Csaba Ölveczky
Volume: 36
Issue: Proc. RTRTS 2010
Year: 2010
Symmetry and Self-Duality in Categories of Probabilistic Models

Author(s): Alexander Wilce
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
A Framework for Heterotic Computing

Author(s): Susan Stepney | Viv Kendon | Peter Hines | Angelika Sebald
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Turing machines based on unsharp quantum logic

Author(s): Yun Shang | Xian Lu | Ruqian Lu
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Symmetry constraints on temporal order in measurement-based quantum computation

Author(s): R. Raussendorf | P. Sarvepalli | T.-C. Wei | P. Haghnegahdar
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Bohrification of local nets

Author(s): Joost Nuiten
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Trichromatic Open Digraphs for Understanding Qubits

Author(s): Alex Lang | Bob Coecke
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Generalizations of Boxworld

Author(s): Peter Janotta
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
The Expectation Monad in Quantum Foundations

Author(s): Bart Jacobs | Jorik Mandemaker
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Graphical Classification of Entangled Qutrits

Author(s): Kentaro Honda
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus

Author(s): Anne Hillebrand
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Completely positive classical structures and sequentializable quantum protocols

Author(s): Chris Heunen | Sergio Boixo
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
The Born rule as structure of spectral bundles (extended abstract)

Author(s): Bertfried Fauser | Guillaume Raynaud | Steven Vickers
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

Author(s): Timothy A. S. Davidson | Simon J. Gay | Rajagopal Nagarajan | Ittoop Vergheese Puthoor
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
On Multiplicative Linear Logic, Modality and Quantum Circuits

Author(s): Ugo Dal Lago | Claudia Faggian
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
A Topos Theory Foundation for Quantum Mechanics

Author(s): John V Corbett
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Pictures of complete positivity in arbitrary dimension

Author(s): Bob Coecke | Chris Heunen
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
No-go theorems for functorial localic spectra of noncommutative rings

Author(s): Benno van den Berg | Chris Heunen
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
On the Automation of Encoding Processes in the Quantum IO Monad

Author(s): James Barratt
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
The Cohomology of Non-Locality and Contextuality

Author(s): Samson Abramsky | Shane Mansfield | Rui Soares Barbosa
Volume: 95
Issue: Proc. QPL 2011
Year: 2012
Learning Markov Decision Processes for Model Checking

Author(s): Hua Mao | Yingke Chen | Manfred Jaeger | Thomas D. Nielsen | Kim G. Larsen | Brian Nielsen
Volume: 103
Issue: Proc. QFM 2012
Year: 2012
Parameterized Metatheory for Continuous Markovian Logic

Author(s): Kim G. Larsen | Radu Mardare | Claus Thrane
Volume: 103
Issue: Proc. QFM 2012
Year: 2012
Interactive verification of Markov chains: Two distributed protocol case studies

Author(s): Johannes Hölzl | Tobias Nipkow
Volume: 103
Issue: Proc. QFM 2012
Year: 2012
Adding Time to Pushdown Automata

Author(s): Parosh Aziz Abdulla | Mohamed Faouzi Atig | Jari Stenman
Volume: 103
Issue: Proc. QFM 2012
Year: 2012
Verifying Real-Time Systems using Explicit-time Description Methods

Author(s): Hao Wang | Wendy MacCaull
Volume: 13
Issue: Proc. QFM 2009
Year: 2009
Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems

Author(s): Ukachukwu Ndukwu
Volume: 13
Issue: Proc. QFM 2009
Year: 2009
Markovian Testing Equivalence and Exponentially Timed Internal Actions

Author(s): Marco Bernardo
Volume: 13
Issue: Proc. QFM 2009
Year: 2009
Modelling Clock Synchronization in the Chess gMAC WSN Protocol

Author(s): Mathijs Schuts | Feng Zhu | Faranak Heidarian | Frits Vaandrager
Volume: 13
Issue: Proc. QFM 2009
Year: 2009
Adaptive Scheduling of Data Paths using Uppaal Tiga

Author(s): Israa AlAttili | Fred Houben | Georgeta Igna | Steffen Michels | Feng Zhu | Frits Vaandrager
Volume: 13
Issue: Proc. QFM 2009
Year: 2009
The Complexity of Robot Games on the Integer Line

Author(s): Arjun Arul | Julien Reichert
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Solving Stochastic Büchi Games on Infinite Arenas with a Finite Attractor

Author(s): Nathalie Bertrand | Philippe Schnoebelen
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Probabilistic Concurrent Kleene Algebra

Author(s): Annabelle McIver | Tahiry Rabehaja | Georg Struth
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes

Author(s): Marco Bernardo | Rocco De Nicola | Michele Loreti
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Modal Specifications for Probabilistic Timed Systems

Author(s): Tingting Han | Christian Krause | Marta Kwiatkowska | Holger Giese
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance

Author(s): Viktor Schuppan
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Quantitative Security Analysis for Multi-threaded Programs

Author(s): Tri Minh Ngo | Marieke Huisman
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Indexed Labels for Loop Iteration Dependent Costs

Author(s): Paolo Tranquilli
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Preserving differential privacy under finite-precision semantics.

Author(s): Ivan Gazeau | Dale Miller | Catuscia Palamidessi
Volume: 117
Issue: Proc. QAPL 2013
Year: 2013
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes

Author(s): Marco Bernardo
Volume: 85
Issue: Proc. QAPL 2012
Year: 2012
Hybrid performance modelling of opportunistic networks

Author(s): Luca Bortolussi | Vashti Galpin | Jane Hillston
Volume: 85
Issue: Proc. QAPL 2012
Year: 2012
Free Forms + CRM     Why do you need a reservation system?