Shoji Yuen

Proceedings of the Reversible Computation - 14th International Conference, 2022

The Reversible Temporal Process Language.

[BibT_eX]

[DOI]

Laura Bocchi

Ivan Lanese

Claudio Antares Mezzina

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022

2020

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.

[BibT_eX]

[DOI]

J. Inf. Process., 2020

Multiparty Session Programming with Global Protocol Combinators (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

A Reversible Runtime Environment for Parallel Programs.

[BibT_eX]

[DOI]

Takashi Ikeda

Proceedings of the Reversible Computation - 12th International Conference, 2020

Fault Diagnosis for Distributed Cooperative System Using Inductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Prognostics and Health Management, 2020

Multiparty Session Programming With Global Protocol Combinators.

[BibT_eX]

[DOI]

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Session-ocaml: A session-based library with polarities and lenses.

[BibT_eX]

[DOI]

Keigo Imai

Nobuko Yoshida

Sci. Comput. Program., 2019

2018

Reversing Event Structures.

[BibT_eX]

[DOI]

New Gener. Comput., 2018

Reversing Parallel Programs with Blocks and Procedures.

[BibT_eX]

[DOI]

James Hoey

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

Updatable timed automata with one updatable clock.

[BibT_eX]

[DOI]

Yunqing Wen

Sci. China Inf. Sci., 2018

2017

Reversing Imperative Parallel Programs.

[BibT_eX]

[DOI]

James Hoey

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

Nested Timed Automata with Invariants.

[BibT_eX]

[DOI]

Yuwei Wang

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

Availability checking of dynamic spatial information for automobiles.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on System Reliability and Safety, 2017

Nested Timed Automata with Diagonal Constraints.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.

[BibT_eX]

[DOI]

Yunqing Wen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Nested Timed Automata with Frozen Clocks.

[BibT_eX]

[DOI]

Mizuhito Ogawa

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

An Over-Approximation Forward Analysis for Nested Timed Automata.

[BibT_eX]

[DOI]

Yunqing Wen

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

Concurrency and Reversibility.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 6th International Conference, 2014

2013

Modelling of Bonding with Processes and Events.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 5th International Conference, 2013

Nested Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

2012

Modeling and Analysis of Real-Time Systems with Mutex Components.

[BibT_eX]

[DOI]

Xiaojuan Cai

Int. J. Found. Comput. Sci., 2012

Foreword.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2012

A Session Type System with Subject Reduction.

[BibT_eX]

[DOI]

Keigo Imai

IEICE Trans. Inf. Syst., 2012

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

2010

Session Type Inference in Haskell

[BibT_eX]

[DOI]

Keigo Imai

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

2009

Generating priority rewrite systems for OSOS process languages.

[BibT_eX]

[DOI]

Inf. Comput., 2009

Environmental Simulation of Real-Time Systems with Nested Interrupts.

[BibT_eX]

[DOI]

Masakazu Adachi

Proceedings of the TASE 2009, 2009

2007

A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.

[BibT_eX]

[DOI]

Ryo Suetsugu

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Web Automata: A Behavioral Model of Web applications based on the MVC model.

[BibT_eX]

[DOI]

Inf. Media Technol., 2006

2005

Towards assuring quality attributes of client dynamic Web applications: Identifying and addressing the challenges.

[BibT_eX]

[DOI]

Mohamed Sharaf Aun

J. Web Eng., 2005

2004

Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2004

Name-passing style GUI programming in the <i>pi</i>-calculus-based language Nepi.

[BibT_eX]

[DOI]

Proceedings of the 6th AMAST Workshop on Real-Time Systems, 2004

Separating Features for Assuring Quality Attributes of Client Web Applications.

[BibT_eX]

Proceedings of the IADIS International Conference WWW/Internet 2004, 2004

2003

Towards Assuring the Quality Attributes of Web Applications: An Approach for Separating Features.

[BibT_eX]

Mohamed Sharaf Aun

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2002

Library evolution for reliable software.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Principles of Software Evolution, 2002

2000

Process Languages for Rooted Eager Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1999

Testing Preorders for Probabilistic Processes.

[BibT_eX]

[DOI]

Inf. Comput., 1999

1997

Extending Process Languages with Time.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1994

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '94, 1994

1992

A formal description of monitors by CCS.

[BibT_eX]

[DOI]

Toshiki Sakabe

Yasuyoshi Inagaki

Syst. Comput. Jpn., 1992

An Extension of the Testing Method for Processes Passing Infinite Values.

[BibT_eX]

[DOI]