Flavio Corradini

According to our database1, Flavio Corradini authored at least 164 papers between 1994 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
A formal approach to modeling and verification of business process collaborations.
Sci. Comput. Program., 2018

Analysis and verification of ECA rules in intelligent environments.
JAISE, 2018

Business process flexibility - a systematic literature review with a software systems perspective.
Information Systems Frontiers, 2018

A Guidelines framework for understandable BPMN models.
Data Knowl. Eng., 2018

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

Tangramob: an agent-based simulation framework for validating urban smart mobility solutions.
CoRR, 2018

Business Rules in e-Government Applications.
CoRR, 2018

Shared Services Center for E-Government Policy.
CoRR, 2018

Global vs. Local Semantics of BPMN 2.0 OR-Join.
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

MIDA: Multiple Instances and Data Animator.
Proceedings of the Dissertation Award, 2018

Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.
Proceedings of the Business Process Management - 16th International Conference, 2018

2017
Uniformity in Multiscale Models: From Complex Automata to BioShape.
J. Cellular Automata, 2017

Private assisted house for smart living.
JAISE, 2017

BProVe: tool support for business process verification.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

BProVe: a formal verification framework for business process models.
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.
Proceedings of the 2017 International Conference on Intelligent Environments, 2017

Supporting Multi-layer Modeling in BPMN Collaborations.
Proceedings of the Enterprise and Organizational Modeling and Simulation, 2017

On Avoiding Erroneous Synchronization in BPMN Processes.
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.
Theor. Comput. Sci., 2016

An Overview of Service-Oriented Computing Challenges and Issues.
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.
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.
Proceedings of the Intelligent Environments 2016, 2016

A Pattern for Enabling Multitenancy in Legacy Application.
Proceedings of the CLOSER 2016, 2016

A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED.
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.
Proceedings of the Domain-Specific Conceptual Modeling, Concepts, Methods and Tools, 2016

2015
Inter-organizational business process verification in public administration.
Business Proc. Manag. Journal, 2015

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

A Flexible Architecture to Monitor Dynamic Web Services Composition.
Proceedings of the WEBIST 2015, 2015

An Integration Platform for Private Assisted Houses.
Proceedings of the ICT4AgeingWell 2015, 2015

An Operational Semantics of BPMN Collaboration.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Process Variability Modeling for Complex Organizations.
Proceedings of the International Conference on Enterprise Systems, 2015

Cloud Readiness Assessment of Legacy Application.
Proceedings of the CLOSER 2015, 2015

A Survey of Trust Management Models for Cloud Computing.
Proceedings of the CLOSER 2015, 2015

Extending Feature Models to Express Variability in Business Process Models.
Proceedings of the Advanced Information Systems Engineering Workshops, 2015

A Constrained ECA Language Supporting Formal Verification of WSNs.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

2014
Research challenges in business process adaptability.
Proceedings of the Symposium on Applied Computing, 2014

Five factors that make pervasive business intelligence a winning wager.
Proceedings of the 2014 IEEE International Conference on Industrial Engineering and Engineering Management, 2014

Timed process calculi: from durationless actions to durational ones.
Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Modelling Process Intensive Scenarios for the Smart City.
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.
Proceedings of the Business Process Management Workshops, 2014

2012
Towards Abstraction-Based Verification of Shape Calculus.
Electr. Notes Theor. Comput. Sci., 2012

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation.
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.
Proceedings of the Advancing Democracy, Government and Governance, 2012

2011
ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People.
ERCIM News, 2011

A Uniform Multiscale Meta-model of BioShape.
Electr. Notes Theor. Comput. Sci., 2011

Read Operators and their Expressiveness in Process Algebras
Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Multiscale Modelling: A Mobile Membrane Approach
CoRR, 2011

Automated Analysis of MUTEX Algorithms with FASE
Proceedings of Second International Symposium on Games, 2011

Evaluating the Efficiency of Asynchronous Systems with FASE
CoRR, 2011

BIOSHAPE\textsc{BioShape}: End-User Development for Simulating Biological Systems.
Proceedings of the End-User Development - Third International Symposium, 2011

2010
Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci., 2010

BioShape: a spatial shape-based scale-independent simulation environment for biological systems.
Proceedings of the International Conference on Computational Science, 2010

Methodologies, Technologies and Tools Enabling e-Government.
J. UCS, 2010

Business Processes Verification for e-Government Service Delivery.
IS Management, 2010

Knowledge-based platform for eGovernment agents: A Web-based solution using semantic technologies.
Expert Syst. Appl., 2010

Bone Remodelling in BioShape.
Electr. Notes Theor. Comput. Sci., 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comp. Sci., 2010

Multiscale Bone Remodelling with Spatial P Systems
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

An Individual-based Probabilistic Model for Fish Stock Simulation
Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

Designing Quality Business Processes for E-Government Digital Services.
Proceedings of the Electronic Government, 9th IFIP WG 8.5 International Conference, 2010

Bone Remodelling: A Complex Automata-Based Model Running in BioShape.
Proceedings of the Cellular Automata, 2010

A Process Algebraic Approach to Software Architecture Design.
Springer, ISBN: 978-1-84800-222-7, 2010

2009
Towards Bioinformatics Resourceomes.
Proceedings of the Biomedical Data and Applications, 2009

Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci., 2009

Model Checking Biological Oscillators.
Electr. Notes Theor. Comput. Sci., 2009

Explicit fairness in testing semantics
Logical Methods in Computer Science, 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM, 2009

Liveness of a mutex algorithm in a fair process algebra.
Acta Inf., 2009

Time and Fairness in a Process Algebra with Non-blocking Reading.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

A Shape Calculus for Biological Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Constraint-Based Dynamic Conversations.
Proceedings of the Fifth International Conference on Networking and Services, 2009

Holistic development of online public services.
Proceedings of the ICEGOV 2009, 2009

Online Public Service Delivery.
Proceedings of the 2009 International Conference on E-Learning, 2009

Resourceome for e-Government: Semantic Web Tool for Managing PA Resources.
Proceedings of the 2009 International Conference on E-Learning, 2009

2008
Preface to Special Issue devoted to the memory of Sauro Tulipani.
Mathematical Structures in Computer Science, 2008

Multiagent modelling and simulation of carbohydrate oxidation in cell.
IJMIC, 2008

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

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus.
Electr. Notes Theor. Comput. Sci., 2008

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Electr. Notes Theor. Comput. Sci., 2008

CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinformatics, 2008

On the fault tolerance of mobile ad hoc networks.
Proceedings of the ITI 2008 30th International Conference on Information Technology Interfaces, 2008

A model-prover for constrained dynamic conversations.
Proceedings of the iiWAS'2008, 2008

A participant testing strategy for service orchestrations.
Proceedings of the Third IEEE International Conference on Digital Information Management (ICDIM), 2008

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Improving Trust in Composite eServices Via Run-Time Participants Testing.
Proceedings of the Electronic Government, 7th International Conference, 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Proceedings of the Concurrency, 2008

2007
Separation of synchronous and asynchronous communication via testing.
Theor. Comput. Sci., 2007

Performance of pipelined asynchronous systems.
J. Log. Algebr. Program., 2007

A characterization of regular expressions under bisimulation.
J. ACM, 2007

A Resourceomic Grid for bioinformatics.
Future Generation Comp. Syst., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Fair Pi.
Electr. Notes Theor. Comput. Sci., 2007

BioWMS: a web-based Workflow Management System for bioinformatics.
BMC Bioinformatics, 2007

Agents in bioinformatics, computational and systems biology.
Briefings in Bioinformatics, 2007

Semantic Resource Management in MAS.
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.
Proceedings of the Electronic Government, 6th International Conference, 2007

2006
Fairness of components in system computations.
Theor. Comput. Sci., 2006

Preface.
Theor. Comput. Sci., 2006

On relating functional specifications to architectural specifications: A case study.
Sci. Comput. Program., 2006

Separation of Synchronous and Asynchronous Communication Via Testing.
Electr. Notes Theor. Comput. Sci., 2006

Fairness of Actions in System Computations.
Acta Inf., 2006

Dynamic Constraint-Based Invocation of Web Services.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Model driven design and implementation of activity-based applications in Hermes.
Proceedings of the 7th WOA 2006 Workshop, 2006

Building a MultiAgent System from a User Workflow Specification.
Proceedings of the 7th WOA 2006 Workshop, 2006

A secure framework in mobile business transactions.
Proceedings of the 3rd international conference on Mobile technology, 2006

Enacting Proactive Workflows Engine in e-Science.
Proceedings of the Computational Science, 2006

Quality evaluation of e-Government digital services.
Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

Document Exchange Methodology for Collaborative Work in e-Government.
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.
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.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005
An Agent-Oriented Conceptual Framework for Systems Biology.
, 2005

Measuring the performance of asynchronous systems with PAFAS.
Theor. Comput. Sci., 2005

EDITORIAL: Selected papers of the tenth international workshop on expressiveness in concurrency (EXPRESS 2003).
Theor. Comput. Sci., 2005

Fairness of Components in System Computations.
Electr. Notes Theor. Comput. Sci., 2005

Preface.
Electr. Notes Theor. Comput. Sci., 2005

Integrating Ontologies in Mobile Agents.
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.
Proceedings of the Formal Methods for Mobile Computing, 2005

Regular Expressions in Process Algebra.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.
Proceedings of the Computational Science and Its Applications, 2005

Performance of Pipelined Asynchronous Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

eGovernment Administrative and Semantic Cooperation: The Role of "Intelligent Documents".
Proceedings of the Electronic Government, 2005

e-Democracy: A Solution for Disadvantaged Territories.
Proceedings of the 5th European Conference on e-Government University of Antwerp, 2005

2004
An agent-based approach to tool integration.
STTT, 2004

Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.
Electr. Notes Theor. Comput. Sci., 2004

An agent-based matchmaker.
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.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

FarMAS: A MAS for Extended Quality Workflow.
Proceedings of the 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), 2004

Expressiveness of Timed Events and Timed Languages.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

2003
Static analysis of real-time component-based systems configurations.
Sci. Comput. Program., 2003

The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes.
Mathematical Structures in Computer Science, 2003

A Programming Environment for Global Activity-based Applications.
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.
Proceedings of the CONCUR 2003, 2003

2002
An Equational Axiomatization of Bisimulation over Regular Expressions.
J. Log. Comput., 2002

Comparing the worst-case efficiency of asynchronous systems with PAFAS.
Acta Inf., 2002

2001
On the semantics of durational actions.
Theor. Comput. Sci., 2001

On testing urgency through laziness over processes with durational actions.
Theor. Comput. Sci., 2001

Preface.
Electr. Notes Theor. Comput. Sci., 2001

'Closed Interval Process Algebra' versus 'Interval Process Algebra'.
Acta Inf., 2001

On Synchronous and Asynchronous Communication Paradigms.
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000
Absolute versus Relative Time in Process Algebras.
Inf. Comput., 2000

Preface
Electr. Notes Theor. Comput. Sci., 2000

The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.
Electr. Notes Theor. Comput. Sci., 2000

Specification and Analysis of Timed and Functional TRMCS Behaviours.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Deriving test plans from architectural descriptions.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Models of Nondeterministic Regular Expressions.
J. Comput. Syst. Sci., 1999

A finite axiomatization of nondeterministic regular expressions.
ITA, 1999

On the Relationships among four Timed Process Algebras.
Fundam. Inform., 1999

Graded Modalities and Resource Bisimulation.
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.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

Static Analysis of Real-Time Component-Based Systems Configurations.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
On the Coarsest Congruence Within Global-Clock-Bounded Equivalence.
Theor. Comput. Sci., 1998

On Performance Congruences for Process Algebras.
Inf. Comput., 1998

1997
Eager, busy-waiting and lazy actions in timed computation?
Electr. Notes Theor. Comput. Sci., 1997

Absolute versus relative time in process algebras.
Electr. Notes Theor. Comput. Sci., 1997

Locality Based Semantics for Process Algebras.
Acta Inf., 1997

Performance Preorder and Competitive Equivalence.
Acta Inf., 1997

On the Specification and Verification of Performance Properties for a Timed Process Algebra.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
On Four Partial Ordering Semantics for a Process Calculus.
Fundam. Inform., 1996

Specification and Verification of Timed Lazy Systems.
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

A Study on the Specification and Verification of Performance Properties (Extended Abstract).
Proceedings of the Algebraic Methodology and Software Technology, 1996

1995
Performance Preorder: Ordering Processes with Respect to Speed.
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

Fully Abstract Models for Nondeterministic Regular Expressions.
Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994
Distribution and Locality of Concurrent Systems.
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994


  Loading...