Manuel Mazzara

Proceedings of the Learning in the Age of Digital and Green Transition, 2022

Perception of the Internationalization Process by the University Employees: The Case Study of Innopolis University.

[BibT_eX]

[DOI]

Proceedings of the Learning in the Age of Digital and Green Transition, 2022

Development of a Blockchain-Based Ad Listing Application.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2022

A NLP Framework to Generate Video from Positive Comments in Youtube.

[BibT_eX]

[DOI]

Hamza Salem

Proceedings of the Advanced Information Networking and Applications, 2022

Innopolis University - From Zero to Hero - Ten Years of Challenges and Victories

[BibT_eX]

[DOI]

Giancarlo Succi

Alexander Tormasov

Springer, ISBN: 978-3-030-98598-1, 2022

2021

Microservices: Migration of a Mission Critical System.

[BibT_eX]

[DOI]

Schahram Dustdar

IEEE Trans. Serv. Comput., 2021

Trustworthiness for Transportation Ecosystems: The Blockchain Vehicle Information System.

[BibT_eX]

[DOI]

Andrea Di Giacomo

IEEE Trans. Intell. Transp. Syst., 2021

Hyperspectral Imaging for Bloodstain Identification.

[BibT_eX]

[DOI]

Sensors, 2021

Regularized CNN Feature Hierarchy for Hyperspectral Image Classification.

[BibT_eX]

[DOI]

Luiz Jonatã Pires de Araújo

Remote. Sens., 2021

Hyperspectral imaging-based unsupervised adulterated red chili content transformation for classification: Identification of red chili adulterants.

[BibT_eX]

[DOI]

Muhammad Hussain Khan

Neural Comput. Appl., 2021

Benchmarks and performance metrics for assessing the migration to microservice-based architectures.

[BibT_eX]

[DOI]

Nichlas Bjørndal

J. Object Technol., 2021

Smart Cities in Russia: Current Situation and Insights for Future Development.

[BibT_eX]

[DOI]

Artem Yuloskov

Mohammad Reza Bahrami

Iouri Kotorov

Future Internet, 2021

3D/2D regularized CNN feature hierarchy for Hyperspectral image classification.

[BibT_eX]

[DOI]

CoRR, 2021

Hyperspectral Image Classification: Artifacts of Dimension Reduction on Hybrid CNN.

[BibT_eX]

[DOI]

CoRR, 2021

Game Theory-Based Parameter-Tuning for Path Planning of UAVs.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on VLSI Design and 20th International Conference on Embedded Systems, 2021

Welcome from the Organizers FormReq 2021.

[BibT_eX]

[DOI]

Sophie Ebersold

Régine Laleau

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Automatically Injecting Semantic Annotations into Online Articles.

[BibT_eX]

[DOI]

Hamza Salem

Said Elnaffar

Proceedings of the Advanced Information Networking and Applications, 2021

Survey on Blockchain Applications for Healthcare: Reflections and Challenges.

[BibT_eX]

[DOI]

Mohammad Reza Bahrami

Proceedings of the Advanced Information Networking and Applications, 2021

TeleML: Deploying Trained Machine Learning Models in Cross-Platform Applications.

[BibT_eX]

[DOI]

Sirojiddin Komolov

Youssef Youssry Ibrahim

Proceedings of the Advanced Information Networking and Applications, 2021

Towards a Secure Smart Parking Solution for Business Entities.

[BibT_eX]

[DOI]

Gerald B. Imbugwa

Proceedings of the Advanced Information Networking and Applications, 2021

A Survey on Data Science Techniques for Predicting Software Defects.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2021

Building an Educational Product: Constructive Alignment and Requirements Engineering.

[BibT_eX]

[DOI]

Nursultan Askarbekuly

Proceedings of the Advances in Artificial Intelligence, Software and Systems Engineering, 2021

2020

Micro-frontends: application of microservices to web front-ends.

[BibT_eX]

[DOI]

Andrey Pavlenko

Nursultan Askarbekuly

Swati Megha

Luiz Jonata Pires de Araujo

J. Internet Serv. Inf. Secur., 2020

Code Review in the Classroom.

[BibT_eX]

[DOI]

CoRR, 2020

An Open Source Solution for Smart Contract-based Parking.

[BibT_eX]

[DOI]

CoRR, 2020

Machine Learning and value generation in Software Development: a survey.

[BibT_eX]

[DOI]

Barakat J. Akinsanya

CoRR, 2020

A PLS-SEM Neural Network Approach for Understanding Cryptocurrency Adoption.

[BibT_eX]

[DOI]

IEEE Access, 2020

Prediction of Microbial Spoilage and Shelf-Life of Bakery Products Through Hyperspectral Imaging.

[BibT_eX]

[DOI]

Zainab Saleem

Muhammad Hussain Khan

IEEE Access, 2020

C-POS: A Context-Aware Adaptive Part-of-Speech Language Learning Framework.

[BibT_eX]

[DOI]

IEEE Access, 2020

An Open Source Solution for Smart Contract-Based Parking Management.

[BibT_eX]

[DOI]

Proceedings of the Open Source Systems - 16th IFIP WG 2.13 International Conference, 2020

Combining Two Modelling Approaches: GQM and KAOS in an Open Source Project.

[BibT_eX]

[DOI]

Nursultan Askarbekuly

Andrey Sadovykh

Proceedings of the Open Source Systems - 16th IFIP WG 2.13 International Conference, 2020

A Survey of Blockchain-Based Solutions for Energy Industry.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Proximity-Based Context Information Retrieval for Bluetooth Enabled Devices.

[BibT_eX]

[DOI]

Sergey Koziakov

Luiz Jonatã Pires de Araújo

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

A Machine to Machine Framework for the Charging of Electric Autonomous Vehicles.

[BibT_eX]

[DOI]

Ziyad Elbanna

Ilya Afanasyev

Proceedings of the Web, Artificial Intelligence and Network Applications, 2020

Size Matters: Microservices Research and Applications.

[BibT_eX]

[DOI]

Proceedings of the Microservices, Science and Engineering., 2020

DevOps and Its Philosophy: Education Matters!

[BibT_eX]

[DOI]

Proceedings of the Microservices, Science and Engineering., 2020

2019

AutoReq: Expressing and verifying requirements for control systems.

[BibT_eX]

[DOI]

J. Comput. Lang., 2019

Spatial Prior Fuzziness Pool-Based Interactive Classification of Hyperspectral Images.

[BibT_eX]

[DOI]

Remote. Sens., 2019

Cyber-Storms Come from Clouds: Security of Cloud Computing in the IoT Era.

[BibT_eX]

[DOI]

Future Internet, 2019

Formality in Software Requirements.

[BibT_eX]

[DOI]

CoRR, 2019

Towards Blockchain-based Multi-Agent Robotic Systems: Analysis, Classification and Applications.

[BibT_eX]

[DOI]

Nikola Georgiev Shakev

Sevil Ahmed

CoRR, 2019

Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges.

[BibT_eX]

[DOI]

CoRR, 2019

Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education.

[BibT_eX]

[DOI]

CoRR, 2019

Size Matters: Microservices Research and Applications.

[BibT_eX]

[DOI]

CoRR, 2019

DevOps and its Philosophy : Education Matters!

[BibT_eX]

[DOI]

CoRR, 2019

A Reference Architecture for Smart and Software-defined Buildings.

[BibT_eX]

[DOI]

CoRR, 2019

Prediction of Malignant & Benign Breast Cancer: A Data Mining Approach in Healthcare Applications.

[BibT_eX]

[DOI]

CoRR, 2019

User Acceptance of HUMP-Model: The Role of E-Mavenism and Polychronicity.

[BibT_eX]

[DOI]

Muhammad Awais

Tanzila Samin

Muhammad Awais Gulzar

Hanan Aljuaid

IEEE Access, 2019

Multi-layer Extreme Learning Machine-based Autoencoder for Hyperspectral Image Classification.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on Computer Vision, 2019

Spontaneous Emotion Recognition in Response to Videos.

[BibT_eX]

[DOI]

Alisa Gazizullina

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

A Reference Architecture for Smart and Software-Defined Buildings.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Smart Computing, 2019

Extended sammon projection and wavelet kernel extreme learning machine for gait-based legitimate user identification.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

FormReq@RE2019 Preface.

[BibT_eX]

[DOI]

Sophie Ebersold

Régine Laleau

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

Digital image forgery.

[BibT_eX]

[DOI]

Proceedings of the 6th International Young Scientists Conference on Information Technologies, 2019

Towards Code Review Guideline in a Classroom.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Software Engineering Education, 2019

Teaching Theoretical Computer Science at Innopolis University.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Software Engineering Education, 2019

Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Software Engineering Education, 2019

Internationalization Strategy of Innopolis University.

[BibT_eX]

[DOI]

Proceedings of the Frontiers in Software Engineering Education, 2019

Reflections on Teaching Formal Methods for Software Development in Higher Education.

[BibT_eX]

[DOI]

Joseph Alexander Brown

Proceedings of the Frontiers in Software Engineering Education, 2019

Towards Designing Smart Learning Environments with IoT.

[BibT_eX]

[DOI]

Mohamad Kassab

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

From DevOps to DevDataOps: Data Management in DevOps Processes.

[BibT_eX]

[DOI]

Antonio Capizzi

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Anomaly Detection in DevOps Toolchain.

[BibT_eX]

[DOI]

Antonio Capizzi

Luiz Jonata Pires de Araujo

Evgeny Bobrov

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Teaching DevOps in Academia and Industry: Reflections and Vision.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2019

Prediction of Twitter Message Deletion.

[BibT_eX]

[DOI]

Alisa Gazizullina

Akinlolu Solomon Adekotujo

Proceedings of the 12th International Conference on Developments in eSystems Engineering, 2019

Towards the Internet of Robotic Things: Analysis, Architecture, Components and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Developments in eSystems Engineering, 2019

Expressing Trust with Temporal Frequency of User Interaction in Online Communities.

[BibT_eX]

[DOI]

Adam Zubair

Luca Longo

Proceedings of the Advanced Information Networking and Applications, 2019

An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the Web, Artificial Intelligence and Network Applications, 2019

2018

From Monolithic to Microservices: An Experience Report from the Banking Domain.

[BibT_eX]

[DOI]

Antonio Bucchiarone

Schahram Dustdar

IEEE Softw., 2018

Smartwatch-Based Legitimate User Identification for Cloud-Based Secure Services.

[BibT_eX]

[DOI]

Sajjad Hussain Chauhdary

Tariq Umer

Mob. Inf. Syst., 2018

Software architectural patterns in practice: an empirical study.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2018

Reputation in M2M Economy.

[BibT_eX]

[DOI]

CoRR, 2018

M2M Billing for Electric Autonomous Vehicles.

[BibT_eX]

[DOI]

CoRR, 2018

Implementing distributed λ-calculus interpreter.

[BibT_eX]

[DOI]

Alexandr Basov

Daniel de Carvalho

CoRR, 2018

Towards dynamic interaction-based model.

[BibT_eX]

[DOI]

CoRR, 2018

On the Parcellation of Functional Magnetic Resonance Images.

[BibT_eX]

[DOI]

Adam Folohunsho Zubair

Segun Benjamin Aribisala

Marco Manca

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Mapping Event-B Machines into Eiffel Programming Language.

[BibT_eX]

[DOI]

Victor Rivera

Jooyoung Lee

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Stance Prediction for Russian: Data and Analysis.

[BibT_eX]

[DOI]

Nikita Lozhnikov

Leon Derczynski

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

A Conjoint Application of Data Mining Techniques for Analysis of Global Terrorist Attacks - Prevention and Prediction for Combating Terrorism.

[BibT_eX]

[DOI]

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Innopolis Going Global - Internationalization of a Young IT University.

[BibT_eX]

[DOI]

Sergey Karapetyan

Alexander Dolgoborodov

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Semantic Query Language for Temporal Genealogical Trees.

[BibT_eX]

[DOI]

Evgeniy Gryaznov

Akinlolu Solomon Adekotujo

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Bi-lingual Intent Classification of Twitter Posts: A Roadmap.

[BibT_eX]

[DOI]

JooYoung Lee

Ayokunle Oluwatoyin Enikuomehin

Segun Benjamin Aribisala

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Teaching DevOps in Corporate Environments - An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

On M2M Micropayments: A Case Study of Electric Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

GA-based Fractal and Neuroevolution Compressions.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Intelligent Systems, 2018

Teaching Programming and Design-by-Contract.

[BibT_eX]

[DOI]

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

Gene Expression for Simulation of Biological Tissue.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Model Checking in Multiplayer Games Development.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Towards Dynamic Interaction-Based Reputation Models.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Pseudorehearsal in Actor-Critic Agents with Neural Network Function Approximation.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

Open Source Platform Digital Personal Assistant.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Hikester - The Event Management Application.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

Implementing Distributed Lamda-Calculus Interpreter.

[BibT_eX]

[DOI]

Alexandr Basov

Daniel de Carvalho

Proceedings of the 32nd International Conference on Advanced Information Networking and Applications Workshops, 2018

2017

Teaching Programming and Design-by-Contract.

[BibT_eX]

[DOI]

CoRR, 2017

Expressing and verifying embedded software requirements.

[BibT_eX]

[DOI]

CoRR, 2017

Translating Event-B machines to Eiffel programs.

[BibT_eX]

[DOI]

CoRR, 2017

A contract-based method to specify stimulus-response requirements.

[BibT_eX]

[DOI]

CoRR, 2017

Towards Static Type-checking for Jolie.

[BibT_eX]

[DOI]

CoRR, 2017

Designing a pi-based Programming Language in the .NET framework: CLR interoperability from the Programmer's point of view.

[BibT_eX]

[DOI]

CoRR, 2017

Pseudorehearsal in actor-critic agents.

[BibT_eX]

[DOI]

Vladimir Marochko

CoRR, 2017

Initial steps towards assessing the usability of a verification tool.

[BibT_eX]

[DOI]

Mansur Khazeev

Victor Rivera

CoRR, 2017

Microservices: a Language-based Approach.

[BibT_eX]

[DOI]

CoRR, 2017

Microservices: Migration of a Mission Critical System.

[BibT_eX]

[DOI]

Schahram Dustdar

CoRR, 2017

Verified type checker for Jolie programming language.

[BibT_eX]

[DOI]

Evgenii Akentev

CoRR, 2017

MOMOS-MT: mobile monophonic system for music transcription: sheet music generation on mobile devices.

[BibT_eX]

[DOI]

Munir Makhmutov

Joseph Alexander Brown

Proceedings of the Symposium on Applied Computing, 2017

Pseudorehearsal in Value Function Approximation.

[BibT_eX]

[DOI]

Vladimir Marochko

Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2017

Microservices: How To Make Your Application Scale.

[BibT_eX]

[DOI]

Ivan Lanese

Ruslan Mustafin

Proceedings of the Perspectives of System Informatics, 2017

An Architecture for Non-invasive Software Measurement.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2017

Link Prediction Using Top-k Shortest Distances.

[BibT_eX]

[DOI]

Proceedings of the Data Analytics - 31st British International Conference on Databases, 2017

Microservice-Based IoT for Smart Buildings.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Evaluation of Spatial Trees for the Simulation of Biological Tissue.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Advanced Information Networking and Applications Workshops, 2017

Microservices: A Language-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Present and Ulterior Software Engineering., 2017

Microservices: Yesterday, Today, and Tomorrow.

[BibT_eX]

[DOI]

Saverio Giallorenzo

Alberto Lluch-Lafuente

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

Analysis of the data transportation multi-hop network for an intelligent environment.

[BibT_eX]

[DOI]

Josu Etxaniz

Gerardo Aranguren

J. Ambient Intell. Smart Environ., 2016

A Cognitive Architecture for the Implementation of Emotions in Computing Systems.

[BibT_eX]

[DOI]

Ildar Nurgaliev

CoRR, 2016

Neuromorphic Robot Dream.

[BibT_eX]

[DOI]

Max Talanov

CoRR, 2016

Refinement types in Jolie.

[BibT_eX]

[DOI]

CoRR, 2016

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing.

[BibT_eX]

[DOI]

CoRR, 2016

Lessons from DEPLOYment.

[BibT_eX]

[DOI]

Cliff B. Jones

Alexei Iliasov

CoRR, 2016

LTL-based Verification of Reconfigurable Workflows.

[BibT_eX]

[DOI]

CoRR, 2016

MOMOS-MT: Mobile Monophonic System for Music Transcription.

[BibT_eX]

[DOI]

Munir Makhmutov

Joseph Alexander Brown

CoRR, 2016

Usability of AutoProof: a case study of software verification.

[BibT_eX]

[DOI]

Mansur Khazeev

Victor Rivera

CoRR, 2016

Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices.

[BibT_eX]

[DOI]

CoRR, 2016

Microservices: yesterday, today, and tomorrow.

[BibT_eX]

[DOI]

Juan Carlos Polanco Aguilar

Saverio Giallorenzo

Alberto Lluch-Lafuente

CoRR, 2016

Towards Anthropo-inspired Computational Systems: the $P^3$ Model.

[BibT_eX]

[DOI]

CoRR, 2016

The BioDynaMo Project: Creating a Platform for Large-Scale Reproducible Biological Simulations.

[BibT_eX]

[DOI]

CoRR, 2016

The BioDynaMo Project.

[BibT_eX]

[DOI]

CoRR, 2016

Model Checking of BPMN Models for Reconfigurable Workflows.

[BibT_eX]

[DOI]

Koji Hasebe

Kazuhiko Kato

CoRR, 2016

Jolie Community on the Rise.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Service-Oriented Computing and Applications, 2016

Domain Objects and Microservices for Systems Development: A Roadmap.

[BibT_eX]

[DOI]

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

The Agile Coordination Processes.

[BibT_eX]

[DOI]

Alberto Sillitti

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Microservices Science and Engineering.

[BibT_eX]

[DOI]

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Initial Steps Towards Assessing the Usability of a Verification Tool.

[BibT_eX]

[DOI]

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Self-adaptive Node-Based PCA Encodings.

[BibT_eX]

[DOI]

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer.

[BibT_eX]

[DOI]

Alberto Giaretta

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

The Internet of Hackable Things.

[BibT_eX]

[DOI]

Alberto Giaretta

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

AntibIoTic: Protecting IoT Devices Against DDoS Attacks.

[BibT_eX]

[DOI]

Proceedings of 5th International Conference in Software Engineering for Defence Applications, 2016

Quality Attributes in Practice: Contemporary Data.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2016

Robot Dream.

[BibT_eX]

[DOI]

Max Talanov

Proceedings of the Agent and Multi-Agent Systems: Technology and Applications, 2016

Assessing the process of an Eastern European software SME using systemic analysis, GQM, and reliability growth models: a case study.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Data-Driven Workflows for Microservices: Genericity in Jolie.

[BibT_eX]

[DOI]

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

2015

Special issue on Service-Oriented Architecture and Programming (SOAP 2013).

[BibT_eX]

[DOI]

Ivan Lanese

Fabrizio Montesi

Sci. Comput. Program., 2015

Guest Editorial: Special Issue on Service-Oriented Architectures and Programming.

[BibT_eX]

[DOI]

Mario Bravetti

Alberto Lluch-Lafuente

Fabrizio Montesi

J. Internet Serv. Inf. Secur., 2015

Data-driven Workflows for Microservices.

[BibT_eX]

[DOI]

Fabrizio Montesi

CoRR, 2015

Towards Anthropo-Inspired Computational Systems: The P<sup>3</sup> Model.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2015

Neuromodulating Cognitive Architecture: Towards Biomimetic Emotional AI.

[BibT_eX]

[DOI]

Radhakrishnan Delhibabu

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

2014

Issues about the Adoption of Formal Methods for Dependable Composition of Web Services.

[BibT_eX]

[DOI]

Michele Ciavotta

Int. J. Syst. Serv. Oriented Eng., 2014

An LTL Semantics of Business Workflows with Recovery.

[BibT_eX]

[DOI]

Luca Ferrucci

Marcello M. Bersani

CoRR, 2014

On Formalisms for Dynamic Reconfiguration of Dependable Systems.

[BibT_eX]

[DOI]

Andrey Mokhov

Ken Pierce

CoRR, 2014

An LTL Semantics of BusinessWorkflows with Recovery.

[BibT_eX]

[DOI]

Luca Ferrucci

Marcello M. Bersani

Proceedings of the ICSOFT-PT 2014, 2014

A Timed Semantics of Workflows.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

2013

Dynamic allocation and admission policies for QoS-aware provisioning systems.

[BibT_eX]

[DOI]

Michele Mazzucco

Int. J. Crit. Comput. Based Syst., 2013

Towards a formal analysis of dynamic reconfiguration in WS-BPEL.

[BibT_eX]

[DOI]

Intell. Decis. Technol., 2013

Social Networks and Collective Intelligence: A Return to the Agora.

[BibT_eX]

[DOI]

CoRR, 2013

Towards a formalism-based toolkit for automotive applications.

[BibT_eX]

[DOI]

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Implementing Workflow Reconfiguration in WS-BPEL.

[BibT_eX]

[DOI]

Mu Zhou

J. Internet Serv. Inf. Secur., 2012

On Methods for the Formal Specification of Fault Tolerant Systems

[BibT_eX]

[DOI]

CoRR, 2012

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Social Networks and Collective Intelligence - A Return to the Agora (with the Polidoxa Shift).

[BibT_eX]

[DOI]

Georgios Papageorgiou

Proceedings of the First International Conference on Agreement Technologies, 2012

2011

The Polidoxa Shift: a New Approach to Social Networks.

[BibT_eX]

[DOI]

J. Internet Serv. Inf. Secur., 2011

Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective.

[BibT_eX]

[DOI]

Faisal Abouzaid

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Design, Modelling and Analysis of a Workflow Reconfiguration.

[BibT_eX]

[DOI]

Faisal Abouzaid

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2010

Design of QoS-aware Provisioning Systems

[BibT_eX]

[DOI]

Michele Mazzucco

CoRR, 2010

Deriving Specifications of Dependable Systems: toward a Method

[BibT_eX]

[DOI]

CoRR, 2010

On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems

[BibT_eX]

[DOI]

CoRR, 2010

2009

A Formal Semantics for the WS-BPEL Recovery Framework - The <i>pi</i>-Calculus Way.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2007

A pi-calculus based semantics for WS-BPEL.

[BibT_eX]

[DOI]

Roberto Lucchi

J. Log. Algebraic Methods Program., 2007

BPMO: Semantic Business Process Modeling and WSMO Extension.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Business Process Modeling: Classifications and Perspectives.

[BibT_eX]

[DOI]

Proceedings of the Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, 2007

2006

Towards abstractations for web services composition.

[BibT_eX]

[DOI]

PhD thesis, 2006

Towards a Unifying Theory for Web Services Composition.

[BibT_eX]

[DOI]

Ivan Lanese

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

2005

Timing Issues in Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

A Case Study of Web Services Orchestration.

[BibT_eX]

[DOI]

Sergio Govoni

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

A Framework for Generic Error Handling in Business Processes.

[BibT_eX]

[DOI]

Roberto Lucchi

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

A Formal Framework for Web Services Coordination.

[BibT_eX]

[DOI]

Claudio Guidi

Roberto Lucchi