Flavio Corradini

Alessandro Marcelletti

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

RePROSitory: a Repository platform for sharing business PROcess models and logS.

[BibT_eX]

[DOI]

Proceedings of the 1st Italian Forum on Business Process Management co-located with the 19th International Conference of Business Process Management (BPM 2021), 2021

Trends on the Usage of BPMN 2.0 from Publicly Available Repositories.

[BibT_eX]

[DOI]

Proceedings of the Perspectives in Business Informatics Research, 2021

Off-Chain Execution of IoT Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2021

2020

Collaboration vs. choreography conformance in BPMN.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

Correctness checking for BPMN collaborations with sub-processes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Tangramob: An Agent-Based Simulation Framework for Validating Urban Smart Mobility Solutions.

[BibT_eX]

[DOI]

J. Intell. Syst., 2020

Applying REECHD to non-uniformly distributed heterogeneous devices.

[BibT_eX]

[DOI]

Int. J. Grid Util. Comput., 2020

Engineering trustable choreography-based systems using blockchain.

[BibT_eX]

[DOI]

Flávio Corradini

Alessandro Marcelletti

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2020

2019

UBBA: Unity Based BPMN Animator.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Engineering in Responsible Information Systems, 2019

RePROSitory: a Repository Platform for Sharing Business PROcess modelS.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2019

Enabling Auditing of Smart Contracts Through Process Mining.

[BibT_eX]

[DOI]

Massimiliano Sampaolo

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks - A Survey.

[BibT_eX]

[DOI]

Knut Hinkelmann

Sajjad Ahmed

Proceedings of the AAAI 2019 Spring Symposium on Combining Machine Learning with Knowledge Engineering (AAAI-MAKE 2019) Stanford University, 2019

2018

A formal approach to modeling and verification of business process collaborations.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Analysis and verification of ECA rules in intelligent environments.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2018

Business process flexibility - a systematic literature review with a software systems perspective.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2018

A Guidelines framework for understandable BPMN models.

[BibT_eX]

[DOI]

Giorgio Oronzo Spagnolo

Data Knowl. Eng., 2018

A Classification of BPMN Collaborations based on Safeness and Soundness Notions.

[BibT_eX]

[DOI]

CoRR, 2018

Business Rules in e-Government Applications.

[BibT_eX]

[DOI]

Oliviero Riganelli

CoRR, 2018

Shared Services Center for E-Government Policy.

[BibT_eX]

[DOI]

CoRR, 2018

Global vs. Local Semantics of BPMN 2.0 OR-Join.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

MIDA: Multiple Instances and Data Animator.

[BibT_eX]

[DOI]

Proceedings of the Dissertation Award, 2018

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 16th International Conference, 2018

2017

Uniformity in Multiscale Models: From Complex Automata to BioShape.

[BibT_eX]

[DOI]

J. Cell. Autom., 2017

Private assisted house for smart living.

[BibT_eX]

[DOI]

Paolo Iddas

J. Ambient Intell. Smart Environ., 2017

BProVe: tool support for business process verification.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments.

[BibT_eX]

[DOI]

Claudia Vannucchi

Michelangelo Diamanti

Gianmarco Mazzante

Proceedings of the 2017 International Conference on Intelligent Environments, 2017

Supporting Multi-layer Modeling in BPMN Collaborations.

[BibT_eX]

[DOI]

Proceedings of the Enterprise and Organizational Modeling and Simulation, 2017

On Avoiding Erroneous Synchronization in BPMN Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Information Systems - 20th International Conference, 2017

2016

Timed process calculi with deterministic or stochastic delays: Commuting between durational and durationless actions.

[BibT_eX]

[DOI]

Marco Bernardo

Theor. Comput. Sci., 2016

An Overview of Service-Oriented Computing Challenges and Issues.

[BibT_eX]

Proceedings of the 12th International Conference on Web Information Systems and Technologies, 2016

The European Digital Agenda and the Impact of ICT on Public Administrations and Small and Medium Enterprises.

[BibT_eX]

[DOI]

Barbara Re

Proceedings of the 2nd International Conference on Recent Trends and Applications in Computer Science and Information Technology, 2016

A Formal Model for Event-Condition-Action Rules in Intelligent Environments.

[BibT_eX]

[DOI]

Claudia Vannucchi

Proceedings of the Intelligent Environments 2016, 2016

A Pattern for Enabling Multitenancy in Legacy Application.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2016, 2016

A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

Business Process Feature Model: An Approach to Deal with Variability of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

2015

Inter-organizational business process verification in public administration.

[BibT_eX]

[DOI]

Andrea Polini

Barbara Re

Bus. Process. Manag. J., 2015

Special issue on "Comprehending asynchrony in specification and analysis" dedicated to Walter Vogler on the occasion of his 60th birthday.

[BibT_eX]

[DOI]

Gerald Lüttgen

Acta Informatica, 2015

A Flexible Architecture to Monitor Dynamic Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the WEBIST 2015, 2015

An Integration Platform for Private Assisted Houses.

[BibT_eX]

[DOI]

Paolo Iddas

Proceedings of the ICT4AgeingWell 2015, 2015

An Operational Semantics of BPMN Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Process Variability Modeling for Complex Organizations.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Enterprise Systems, 2015

Cloud Readiness Assessment of Legacy Application.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2015, 2015

A Survey of Trust Management Models for Cloud Computing.

[BibT_eX]

Proceedings of the CLOSER 2015, 2015

Extending Feature Models to Express Variability in Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

2014

Research challenges in business process adaptability.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

Interoperability issues among smart home technological frameworks.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2014

Five factors that make pervasive business intelligence a winning wager.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Industrial Engineering and Engineering Management, 2014

Timed process calculi: from durationless actions to durational ones.

[BibT_eX]

[DOI]

Marco Bernardo

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Modelling Process Intensive Scenarios for the Smart City.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government - 13th IFIP WG 8.5 International Conference, 2014

Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2014

2012

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.

[BibT_eX]

Proceedings of the SIMULTECH 2012 - Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Rome, Italy, 28, 2012

FedCohesion: Federated Identity Management in the Marche Region.

[BibT_eX]

[DOI]

Serenella Carota

Damiano Falcioni

Maria Laura Maggiulli

Proceedings of the Advancing Democracy, Government and Governance, 2012

2011

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.

[BibT_eX]

[DOI]

Rosario Culmone

Leonardo Vito

ERCIM News, 2011

Towards Abstraction-Based Verification of Shape Calculus.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

A Uniform Multiscale Meta-model of BioShape.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Interactions between Computer Science and Biology, 2011

Read Operators and their Expressiveness in Process Algebras

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Multiscale Modelling: A Mobile Membrane Approach

[BibT_eX]

[DOI]

CoRR, 2011

Automated Analysis of MUTEX Algorithms with FASE

[BibT_eX]

[DOI]

Proceedings of Second International Symposium on Games, 2011

Evaluating the Efficiency of Asynchronous Systems with FASE

[BibT_eX]

[DOI]

CoRR, 2011

BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the End-User Development - Third International Symposium, 2011

2010

Detecting synchronisation of biological oscillators by model checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

BioShape: a spatial shape-based scale-independent simulation environment for biological systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2010

Methodologies, Technologies and Tools Enabling e-Government.

[BibT_eX]

[DOI]

Luis E. Anido-Rifón

J. Univers. Comput. Sci., 2010

Business Processes Verification for e-Government Service Delivery.

[BibT_eX]

[DOI]

Inf. Syst. Manag., 2010

Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies.

[BibT_eX]

[DOI]

Luis Álvarez Sabucedo

Expert Syst. Appl., 2010

Bone Remodelling in BioShape.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.

[BibT_eX]

[DOI]

Sci. Ann. Comput. Sci., 2010

Multiscale Bone Remodelling with Spatial P Systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

An Individual-based Probabilistic Model for Fish Stock Simulation

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

Designing Quality Business Processes for E-Government Digital Services.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, 9th IFIP WG 8.5 International Conference, 2010

Bone Remodelling: A Complex Automata-Based Model Running in BioShape.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata, 2010

A Process Algebraic Approach to Software Architecture Design.

[BibT_eX]

[DOI]

Alessandro Aldini

Marco Bernardo

Springer, ISBN: 978-1-84800-222-7, 2010

2009

Towards Bioinformatics Resourceomes.

[BibT_eX]

[DOI]

Francesca Piersigilli

Leonardo Vito

Proceedings of the Biomedical Data and Applications, 2009

Modeling and simulation of cardiac tissue using hybrid I/O automata.

[BibT_eX]

[DOI]

Emilia Entcheva

Scott A. Smolka

Radu Grosu

Theor. Comput. Sci., 2009

Explicit fairness in testing semantics

[BibT_eX]

[DOI]

Catuscia Palamidessi

Log. Methods Comput. Sci., 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Liveness of a mutex algorithm in a fair process algebra.

[BibT_eX]

[DOI]

Acta Informatica, 2009

Time and Fairness in a Process Algebra with Non-blocking Reading.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

A Shape Calculus for Biological Processes.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Constraint-Based Dynamic Conversations.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Networking and Services, 2009

Holistic development of online public services.

[BibT_eX]

[DOI]

Oliviero Riganelli

Proceedings of the ICEGOV 2009, 2009

Online Public Service Delivery.

[BibT_eX]

Oliviero Riganelli

Proceedings of the 2009 International Conference on E-Learning, 2009

Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.

[BibT_eX]

Proceedings of the 2009 International Conference on E-Learning, 2009

2008

Preface to Special Issue devoted to the memory of Sauro Tulipani.

[BibT_eX]

[DOI]

Carlo Toffalori

Math. Struct. Comput. Sci., 2008

Multiagent modelling and simulation of carbohydrate oxidation in cell.

[BibT_eX]

[DOI]

Int. J. Model. Identif. Control., 2008

Quality of service in e-government underlines the role of information usability.

[BibT_eX]

[DOI]

Int. J. Inf. Qual., 2008

Model Checking Biological Oscillators.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

CellExcite: an efficient simulation environment for excitable cells.

[BibT_eX]

[DOI]

BMC Bioinform., 2008

On the fault tolerance of mobile ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the ITI 2008 30th International Conference on Information Technology Interfaces, 2008

A model-prover for constrained dynamic conversations.

[BibT_eX]

[DOI]

Proceedings of the iiWAS'2008, 2008

A participant testing strategy for service orchestrations.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

Improving Trust in Composite eServices Via Run-Time Participants Testing.

[BibT_eX]

[DOI]

Proceedings of the Electronic Government, 7th International Conference, 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Performance of pipelined asynchronous systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

A characterization of regular expressions under bisimulation.

[BibT_eX]

[DOI]

Jos C. M. Baeten

Clemens Grabmayer

J. ACM, 2007

A Resourceomic Grid for bioinformatics.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2007

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.

[BibT_eX]

[DOI]

Emilia Entcheva

Radu Grosu

Scott A. Smolka

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

BioWMS: a web-based Workflow Management System for bioinformatics.

[BibT_eX]

[DOI]

BMC Bioinform., 2007

Agents in bioinformatics, computational and systems biology.

[BibT_eX]

[DOI]

Briefings Bioinform., 2007

Semantic Resource Management in MAS.

[BibT_eX]

[DOI]

Francesca Piersigilli

Leonardo Vito

Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

A Case Study of Semantic Solutions for Citizen-Centered Web Portals in eGovernment: The Tecut Portal.

[BibT_eX]

[DOI]

Luis Álvarez Sabucedo

Luis E. Anido-Rifón

Barbara Re

Proceedings of the Electronic Government, 6th International Conference, 2007

2006

On relating functional specifications to architectural specifications: A case study.

[BibT_eX]

[DOI]

Alexander L. Wolf

Sci. Comput. Program., 2006

Preface.

[BibT_eX]

[DOI]

Carlo Toffalori

Proceedings of the Workshop on Logic, Models and Computer Science, 2006

Fair Pi.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Proceedings of the 13th International Workshop on Expressiveness in Concurrency, 2006

Fairness of Actions in System Computations.

[BibT_eX]

[DOI]

Acta Informatica, 2006

Dynamic Constraint-Based Invocation of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Model driven design and implementation of activity-based applications in Hermes.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

Building a MultiAgent System from a User Workflow Specification.

[BibT_eX]

[DOI]

Proceedings of the 7th WOA 2006 Workshop, 2006

A secure framework in mobile business transactions.

[BibT_eX]

[DOI]

Proceedings of the 3rd international conference on Mobile technology, 2006

Enacting Proactive Workflows Engine in e-Science.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2006

Quality evaluation of e-Government digital services.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

Document Exchange Methodology for Collaborative Work in e-Government.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Social Enterprise Architecture: Towards an Extendable and Scaleable System Architecture for KM.

[BibT_eX]

[DOI]

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

Checking a Mutex Algorithm in a Process Algebra with Fairness.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

An Agent-Oriented Conceptual Framework for Systems Biology.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2005

Measuring the performance of asynchronous systems with PAFAS.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).

[BibT_eX]

[DOI]

Uwe Nestmann

Theor. Comput. Sci., 2005

Separation of Synchronous and Asynchronous Communication Via Testing.

[BibT_eX]

[DOI]

Catuscia Palamidessi

Proceedings of the 12th Workshop on Expressiveness on Concurrency, 2005

Integrating Ontologies in Mobile Agents.

[BibT_eX]

[DOI]

Rosario Culmone

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Hermes: Agent-Based Middleware for Mobile Computing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Mobile Computing, 2005

Regular Expressions in Process Algebra.

[BibT_eX]

[DOI]

Jos C. M. Baeten

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.

[BibT_eX]

[DOI]

Marco Vita

Proceedings of the Computational Science and Its Applications, 2005

eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents".

[BibT_eX]

Romeo Pruno

Proceedings of the Electronic Government, 2005

e-Democracy: A Solution for Disadvantaged Territories.

[BibT_eX]

Eleonora Paganelli

Proceedings of the 5th European Conference on e-Government University of Antwerp, 2005

2004

An agent-based approach to tool integration.

[BibT_eX]

[DOI]

Leonardo Mariani

Int. J. Softw. Tools Technol. Transf., 2004

Fairness of Components in System Computations.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

Preface.

[BibT_eX]

[DOI]

Jos C. M. Baeten

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

An agent-based matchmaker.

[BibT_eX]

Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

Code Mobility for Pervasive Computing.

[BibT_eX]

[DOI]

Rosario Culmone

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

FarMAS: A MAS for Extended Quality Workflow.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Expressiveness of Timed Events and Timed Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

2003

Static analysis of real-time component-based systems configurations.

[BibT_eX]

[DOI]

Candida Attanasio

Sci. Comput. Program., 2003

Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.

[BibT_eX]

[DOI]

Uwe Nestmann

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

A Programming Environment for Global Activity-based Applications.

[BibT_eX]

Leonardo Mariani

Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Relating Fairness and Timing in Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

An Equational Axiomatization of Bisimulation over Regular Expressions.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

Comparing the worst-case efficiency of asynchronous systems with PAFAS.

[BibT_eX]

[DOI]

Lars Jenner

Acta Informatica, 2002

2001

On the semantics of durational actions.

[BibT_eX]

[DOI]

Gian-Luigi Ferrari

Theor. Comput. Sci., 2001

On testing urgency through laziness over processes with durational actions.

[BibT_eX]

[DOI]

Dino Di Cola

Theor. Comput. Sci., 2001

Preface.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

'Closed Interval Process Algebra' versus 'Interval Process Algebra'.

[BibT_eX]

[DOI]

Acta Informatica, 2001

On Synchronous and Asynchronous Communication Paradigms.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.

[BibT_eX]

[DOI]

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Preface

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Models for Time-Critical Systems, 2000

The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.

[BibT_eX]

[DOI]

Dino Di Cola

Proceedings of the 7th International Workshop on Expressiveness in Concurrency, 2000

Specification and Analysis of Timed and Functional TRMCS Behaviours.

[BibT_eX]

[DOI]

Mauro Cioffi

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Deriving test plans from architectural descriptions.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Models of Nondeterministic Regular Expressions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1999

A finite axiomatization of nondeterministic regular expressions.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1999

On the Relationships among four Timed Process Algebras.

[BibT_eX]

[DOI]

Domenicantonio D'Ortenzio

Fundam. Informaticae, 1999

Graded Modalities and Resource Bisimulation.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance.

[BibT_eX]

[DOI]

Candida Attanasio

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

On the Coarsest Congruence Within Global-Clock-Bounded Equivalence.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Towards parallelization of concurrent systems.

[BibT_eX]

[DOI]

Davide Marchignoli

RAIRO Theor. Informatics Appl., 1998

On Performance Congruences for Process Algebras.

[BibT_eX]

[DOI]

Inf. Comput., 1998

1997

Eager, busy-waiting and lazy actions in timed computation?

[BibT_eX]

[DOI]

Gian-Luigi Ferrari

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Absolute versus relative time in process algebras.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Expressiveness in Concurrency, 1997

Locality Based Semantics for Process Algebras.

[BibT_eX]

[DOI]

Acta Informatica, 1997

Performance Preorder and Competitive Equivalence.

[BibT_eX]

[DOI]

Marco Roccetti

Acta Informatica, 1997

On the Specification and Verification of Performance Properties for a Timed Process Algebra.

[BibT_eX]

[DOI]

Xiao Jun Chen

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

On Four Partial Ordering Semantics for a Process Calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

Specification and Verification of Timed Lazy Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

A Study on the Specification and Verification of Performance Properties (Extended Abstract).

[BibT_eX]

[DOI]

Xiao Jun Chen

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Performance Preorder: Ordering Processes with Respect to Speed.

[BibT_eX]

[DOI]

Marco Roccetti

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Fully Abstract Models for Nondeterministic Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

Distribution and Locality of Concurrent Systems.

[BibT_eX]

[DOI]