Nelson Souto Rosa

Orcid: 0000-0001-9374-6351

Affiliations:
  • Federal University of Pernambuco, Recife, Brazil


According to our database1, Nelson Souto Rosa authored at least 108 papers between 2000 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Survey on Integration of Consensus Mechanisms in IoT-based Blockchains.
J. Univers. Comput. Sci., October, 2023

An Adaptive Energy Saving Mechanism for Middleware of Things.
Proceedings of the International Conference on Software, 2023

COSTA: A cost-driven solution for migrating applications in multi-cloud environments.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

A Control-Theoretical Approach to Adapt Message Brokers.
Proceedings of the Advanced Information Networking and Applications, 2023

Integration and Evaluation of Blockchain Consensus Algorithms for IoT Environments.
Proceedings of the Advanced Information Networking and Applications, 2023

2022
Using Controllers to Adapt Messaging Systems: An Initial Experience.
Proceedings of the X Workshop on Software Visualization, Evolution and Maintenance, 2022

Multiple transport protocols in an adaptive RPC-based framework.
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

2021
An execution environment as a service for adaptive long-running workflows.
Int. J. Web Inf. Syst., 2021

Adaptive Middleware of Things.
Proceedings of the IEEE Symposium on Computers and Communications, 2021

2020
Adaptive middleware in go - a software architecture-based approach.
J. Internet Serv. Appl., 2020

2019
Lightweight formalisation of adaptive middleware.
J. Syst. Archit., 2019

Improving microservice-based applications with runtime placement adaptation.
J. Internet Serv. Appl., 2019

Adaptive support to execution of long-running workflows.
Int. J. Bus. Process. Integr. Manag., 2019

Transparent tracing of microservice-based applications.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

MidSecThings: Assurance Solution for Security Smart Homes in IoT.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018
A survey on automation of security requirements in service-based business processes.
Int. J. Web Eng. Technol., 2018

An adaptive middleware in Go.
Proceedings of the Workshop on Adaptive and Reflexive Middleware, 2018

2017
Bridging the Gap Between the Business and Social Worlds: A Data Artifact-Driven Approach.
Trans. Large Scale Data Knowl. Centered Syst., 2017

Integrated Evaluation of Reliability and Power Consumption of Wireless Sensor Networks.
Sensors, 2017

Monitoring solution in a dynamic Service-Oriented Platform.
Comput. Electr. Eng., 2017

Using software architecture principles and lightweight formalisation to build adaptive middleware.
Proceedings of the 16th Workshop on Adaptive and Reflective Middleware, 2017

Towards an application level elasticity by middleware.
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

Supporting Microservice Evolution.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Adaptive Service Composition Based on Runtime Verification of Formal Properties.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Middleware Adaptation through Process Mining.
Proceedings of the 31st IEEE International Conference on Advanced Information Networking and Applications, 2017

2016
Automation of service-based security-aware business processes in the Cloud.
Computing, 2016

2015
SITRUS: Semantic Infrastructure for Wireless Sensor Networks.
Sensors, 2015

Towards Government as a Social Machine.
Proceedings of the 24th International Conference on World Wide Web Companion, 2015

FIrM: Functional Middleware with Support to Multi-tenancy.
Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications, 2015

xLONGWisE: An environment to support the execution of Long Running Workflows.
Proceedings of the 12th IEEE/ACS International Conference of Computer Systems and Applications, 2015

A Meta-model for QoS Monitoring in a Dynamic Service-Component Platform.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Predicting Service Composition Costs with Complex Cost Behavior.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Middleware Reconfiguration Relying on Formal Methods.
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014
Reliability of Wireless Sensor Networks.
Sensors, 2014

Towards a model-driven approach for treating quality attributes of service-based business processes.
Int. J. Web Eng. Technol., 2014

Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks.
Int. J. Distributed Sens. Networks, 2014

Personal APIs as an enabler for designing and implementing people as social machines.
Proceedings of the 23rd International World Wide Web Conference, 2014

AMALGHMA -An environment for measuring execution time and energy consumption in embedded systems.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

A Survey of Cost Accounting in Service-Oriented Computing.
Proceedings of the 2014 IEEE World Congress on Services, 2014

Afluentes Concurrent I/O Made Easy with Lazy Evaluation.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

A semantic message oriented middleware for wireless sensor networks.
Proceedings of the 7th Euro American Conference on Telematics and Information Systems, 2014

A metamodel for modeling cost behavior in service composition.
Proceedings of the 11th IEEE/ACS International Conference on Computer Systems and Applications, 2014

Ranking Strategies for Quality-Aware Service Selection.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

A Survey of Formalization Approaches to Service Composition.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

Realizing Quality Attributes of Service-Based Business Processes: A Model-Driven Approach.
Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

Execution Support to Long Running Workflows.
Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

2013
Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models.
Sensors, 2013

Aspects for untangling cross-layer design and policy support.
Int. J. Commun. Syst., 2013

Social machines: a unified paradigm to describe social web-oriented systems.
Proceedings of the 22nd International World Wide Web Conference, 2013

Comparative Study of Service-Based Security-Aware Business Processes Automation Tools.
Proceedings of the IEEE International Conference on Systems, 2013

Durin: A development environment for Wireless Sensor Network.
Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013

Adaptive and Dynamic Quality-Aware Service Selection.
Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Moving towards "Relationship-Aware" Applications and Services: A Social Machine-Oriented Approach.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013

Formalising Middleware Systems: A Design Pattern-Based Approach.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Cloud-Aware Middleware.
Proceedings of the 27th IEEE International Conference on Advanced Information Networking and Applications, 2013

2012
Towards an approach to design and enforce security in web service composition.
Int. J. Web Eng. Technol., 2012

A semantic solution for saving energy in wireless sensor networks.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

2011
An Energy-Aware Middleware for Integrating Wireless Sensor Networks and the Internet.
Int. J. Distributed Sens. Networks, 2011

SSC4Cloud Tooling: An Integrated Environment for the Development of Business Processes with Security Requirements in the Cloud.
Proceedings of the World Congress on Services, 2011

Dynamic Event-Based Monitoring in a SOA Environment.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud.
Proceedings of the IEEE International Conference on Web Services, 2011

2010
ASTRO: A tool for dependability evaluation of Data Center infrastructures.
Proceedings of the IEEE International Conference on Systems, 2010

Impact analysis of maintenance policies on data center power infrastructure.
Proceedings of the IEEE International Conference on Systems, 2010

Smart: Service Model for Integrating Wireless Sensor Networks and the Internet.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet.
Proceedings of the Distributed Applications and Interoperable Systems, 2010

Evaluating Product Line Architecture for Grid Computing Middleware Systems: Uba Experience.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

SAGe: Sensor Advanced Gateway for Integrating Wireless Sensor Networks and Internet.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

2009
An Approach for Reducing the Gap between BPMN Models and Implementation Artifacts.
RITA, 2009

Towards Generating Richer Code by Binding Security Abstractions to BPMN Task Types.
RITA, 2009

An Integrated Approach for Model Driven Process Modeling and Enactment.
Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

High-level specification of a middleware framework for mobile ad hoc networks: spontaneousware case.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Spontaneousware: a middleware framework for mobile ad hoc networks.
Proceedings of the 1st International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009), 2009

Sec-MoSC Tooling - Incorporating Security Requirements into Service Composition.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

Incorporating Security Requirements into Service Composition: From Modelling to Execution.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

An Approach to Model-driven Development Process Specification.
Proceedings of the ICEIS 2009, 2009

Ubá: A Software Product Line Architecture for Grid-Oriented Middleware.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Performance Models for the Instance Pooling Mechanism of the JBoss Application Server.
Proceedings of the 2008 IEEE International Performance, 2008

TS-Mid: Middleware for Wireless Sensor Networks Based on Tuple Space.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

Device Middleware for Heterogeneous Access to Java Services.
Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007
A formal framework for middleware behavioural specification.
ACM SIGSOFT Softw. Eng. Notes, 2007

Adaptive web service composition.
ACM SIGSOFT Softw. Eng. Notes, 2007

Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets.
RITA, 2007

Device Middleware for Mobile Applications.
IEEE Distributed Syst. Online, 2007

Improving Transparent Adaptability in Web Service Composition.
Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, 2007

Interval generalized stochastic petri net models in dependability evaluation.
Proceedings of the IEEE International Conference on Systems, 2007

2006
Mires: a publish/subscribe middleware for sensor networks.
Pers. Ubiquitous Comput., 2006

Behavioural Specification of Middleware Systems.
J. Braz. Comput. Soc., 2006

Using stochastic Petri nets for performance modelling of application servers.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Adding Meaning to QoS Negotiation.
Proceedings of the ICEIS 2006, 2006

A LOTOS Framework for Middleware Specification.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

An Ontological Approach for Personalized Services.
Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005
An MDA Domain Specific Architecture to Provide Interoperability Among Collaborative Environments.
Proceedings of the 19th Brazilian Symposium on Software Engineering, 2005

Managing Petri Nets in MOF Repositories.
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

A reconfigurable group management middleware service for wireless sensor networks.
Proceedings of the 3rd International Workshop on Middleware for Pervasive and Ad-hoc Computing (MPAC 2005), held at the ACM/IFIP/USENIX 6th International Middleware Conference, November 28, 2005

An MDA-EDOC Based Development Process for Distributed Applications.
Proceedings of the ICEIS 2005, 2005

InterDOC: reference architecture for interoperable services in collaborative writing environments.
Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

2004
An Approach for Reasoning and Refining Non-Functional Requirements.
J. Braz. Comput. Soc., 2004

A Software Architecture-Based Approach for Formalising Middleware Behaviour.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

A message-oriented middleware for sensor networks.
Proceedings of the 2nd Workshop on Middleware for Pervasive and Ad-hoc Computing, 2004

On the generalised stochastic Petri net modeling of message-oriented middleware systems.
Proceedings of the 23rd IEEE International Performance Computing and Communications Conference, 2004

Towards a Model for Personalized Communication Services Based on User Perception.
Proceedings of the ICEIS 2004, 2004

InterDOC: Interoperable services in collaborative writing environments.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Towards a Model for Personalized Communication Services.
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004

2003
A MOM-based Solution for Remote Monitoring of Equipment in Mines.
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

2002
ProcessNFL: A Language for Describing Non-functional Properties.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001
A framework for building non-functional software architectures.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

On the Treatment of Non-Functional Properties of Dynamic Distributed Software Architectures.
Proceedings of the ISCA 14th International Conference on Parallel and Distributed Computing Systems, 2001

2000
Incorporating Non-functional Requirements into Software Architectures.
Proceedings of the Parallel and Distributed Processing, 2000


  Loading...