Paulo Romero Martins Maciel
Orcid: 0000-0003-4021-9069Affiliations:
- Federal University of Pernambuco, Recife, Brazil
According to our database1,
Paulo Romero Martins Maciel
authored at least 287 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cin.ufpe.br
On csauthors.net:
Bibliography
2024
Dependability Evaluation of a Smart Poultry House: Addressing Availability Issues Through the Edge, Fog, and Cloud Computing.
IEEE Trans. Ind. Informatics, February, 2024
J. Syst. Softw., February, 2024
2023
NoSQL-based storage systems: influence of consistency on performance, availability and energy consumption.
J. Supercomput., December, 2023
J. Supercomput., November, 2023
J. Supercomput., May, 2023
Modeling and Simulating a Process Mining-Influenced Load-Balancer for the Hybrid Cloud.
IEEE Trans. Cloud Comput., 2023
Cloud infrastructure planning: models considering an optimisation method, cost and performance requirements.
Int. J. Grid Util. Comput., 2023
Enhancing Augmented Reality Performance: An Exploration of Edge Computing and Code Offloading in Collaborative AR Systems.
Proceedings of the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2023
Proceedings of the IEEE INFOCOM 2023, 2023
2022
Availability model for edge-fog-cloud continuum: an evaluation of an end-to-end infrastructure of intelligent traffic management service.
J. Supercomput., 2022
Performance and availability evaluation of the blockchain platform hyperledger fabric.
J. Supercomput., 2022
Availability evaluation of system service hosted in private cloud computing through hierarchical modeling process.
J. Supercomput., 2022
Model-Driven Impact Quantification of Energy Resource Redundancy and Server Rejuvenation on the Dependability of Medical Sensor Networks in Smart Hospitals.
Sensors, 2022
Sensors, 2022
J. Reliab. Intell. Environ., 2022
Model-Based Performability and Dependability Evaluation of a System with VM Migration as Rejuvenation in the Presence of Bursty Workloads.
J. Netw. Syst. Manag., 2022
A modeling approach for estimating performance and energy consumption of storage systems.
J. Comput. Syst. Sci., 2022
An analytical approach for optimization of computer network design considering the integration of the communication and power infrastructures.
Int. J. Netw. Manag., 2022
Software Rejuvenation Meets Moving Target Defense: Modeling of Time-Based Virtual Machine Migration Approach.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022
2021
J. Supercomput., 2021
Distributed application provisioning over Ethereum-based private and permissioned blockchain: availability modeling, capacity, and costs planning.
J. Supercomput., 2021
Knowl. Based Syst., 2021
Comput. Oper. Res., 2021
Screening hardware and volume factors in distributed machine learning algorithms on spark.
Computing, 2021
A methodology for selecting hardware performance counters for supporting non-intrusive diagnostic of flood DDoS attacks on web servers.
Comput. Secur., 2021
Proceedings of the IEEE International Systems Conference, 2021
Proceedings of the IEEE International Systems Conference, 2021
Reliability-and-Availability Sensitivity Analysis on Convergent Network Infrastructures: Methodology and Case Study.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
Analysis of VM migration scheduling as moving target defense against insider attacks.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
PyMTDEvaluator: A Tool for Time-Based Moving Target Defense Evaluation: Tool description paper.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
The Mercury Environment: A Modeling Tool for Performance and Dependability Evaluation.
Proceedings of the Intelligent Environments 2021, 2021
2020
J. Supercomput., 2020
Data centers' services restoration based on the decision-making of distributed agents.
Telecommun. Syst., 2020
Availability and reliability modeling of VM migration as rejuvenation on a system under varying workload.
Softw. Qual. J., 2020
Bottleneck Detection in Cloud Computing Performance and Dependability: Sensitivity Rankings for Hierarchical Models.
J. Netw. Syst. Manag., 2020
Int. J. Grid Util. Comput., 2020
An algorithm to optimise the energy distribution of data centre electrical infrastructures.
Int. J. Grid Util. Comput., 2020
Int. J. Comput. Sci. Eng., 2020
Temperature variation impact on estimating costs and most critical components in a cloud data centre.
Int. J. Comput. Appl. Technol., 2020
Proceedings of the IEEE International Systems Conference, 2020
Time and Cost Prediction Models for Language Classification Over a Large Corpus on Spark.
Proceedings of the 2020 IEEE Symposium Series on Computational Intelligence, 2020
Experimental Evaluation of Software Aging Effects in a Container-Based Virtualization Platform.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020
Optimization of computer networks design integrating dependability and business aspects.
Proceedings of the IEEE Latin-American Conference on Communications, 2020
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the Handbook of Software Aging and Rejuvenation, 2020
2019
Models to evaluate service Provisioning over Cloud Computing Environments - A Blockchain-As-A-Service case study.
RITA, 2019
An Artificial Neural Network Approach to Forecast the Environmental Impact of Data Centers.
Inf., 2019
Int. J. Web Grid Serv., 2019
Int. J. Data Min. Model. Manag., 2019
Performability Evaluation and Optimization of Workflow Applications in Cloud Environments.
J. Grid Comput., 2019
A Model for Availability and Security Risk Evaluation for Systems With VMM Rejuvenation Enabled by VM Migration Scheduling.
IEEE Access, 2019
Proceedings of the 2019 IEEE International Systems Conference, 2019
Dependability Evaluation in a Convergent Network Service using BGP and BFD Protocols.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Evaluating Database Replication Mechanisms for Disaster Recovery in Cloud Environments.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019
Proceedings of the IEEE Latin American Conference on Computational Intelligence, 2019
Hierarchical Cluster Analysis of Interval-valued Data Using Width of Range Euclidean Distance.
Proceedings of the IEEE Latin American Conference on Computational Intelligence, 2019
Stochastic Model for Availability Analysis of Service Function Chains using Rejuvenation and Live Migration.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Proceedings of the 15th European Dependable Computing Conference, 2019
Blockchain provisioning over private cloud computing environments: Availability modeling and cost requirements.
Proceedings of the 2019 IEEE 8th International Conference on Cloud Networking, 2019
2018
IEEE Trans. Mob. Comput., 2018
J. Supercomput., 2018
Models for availability and power consumption evaluation of a private cloud with VMM rejuvenation enabled by VM Live Migration.
J. Supercomput., 2018
Modelos para avaliação de disponibilidade orientada a capacidade de uma nuvem privada.
RITA, 2018
Decision making in cloud environments: an approach based on multiple-criteria decision analysis and stochastic models.
J. Cloud Comput., 2018
Sensitivity analysis of an availability model for disaster tolerant cloud computing system.
Int. J. Netw. Manag., 2018
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018
Impact of a DDoS attack on computer systems: An approach based on an attack tree model.
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018
Proceedings of the 2018 Annual IEEE International Systems Conference, 2018
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Evaluation of Encoding and Network Aspects on Video Streaming Performance: A Modeling and Experimental Approach.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Proceedings of the 17th IEEE International Symposium on Network Computing and Applications, 2018
Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018
Software Rejuvenation in Computer Systems: An Automatic Forecasting Approach Based on Time Series.
Proceedings of the 37th IEEE International Performance Computing and Communications Conference, 2018
2017
Multi-objective optimization of multimedia embedded systems using genetic algorithms and stochastic simulation.
Soft Comput., 2017
Integrated Evaluation of Reliability and Power Consumption of Wireless Sensor Networks.
Sensors, 2017
Impact of capacity and discharging rate on battery life time: A stochastic model to support mobile device autonomy planning.
Pervasive Mob. Comput., 2017
J. Softw., 2017
J. Grid Comput., 2017
Computing, 2017
Computing, 2017
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017
Proceedings of the 2017 Annual IEEE International Systems Conference, 2017
Synchronization server infrastructure: A relationship between system downtime and deployment cost.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions.
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
Proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing, 2017
2016
Benchmark applications used in mobile cloud computing research: a systematic mapping study.
J. Supercomput., 2016
Availability Evaluation and Sensitivity Analysis of a Mobile Backend-as-a-service Platform.
Qual. Reliab. Eng. Int., 2016
An Integrated Platform for Distributed Resources Monitoring and Software Aging Mitigation in Private Clouds.
J. Softw., 2016
Sensitive GRASP: combinatorial optimisation of composite web services guided by sensitivity analysis.
Int. J. Web Grid Serv., 2016
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016
2015
A Modeling Approach for Cloud Infrastructure Planning Considering Dependability and Cost Requirements.
IEEE Trans. Syst. Man Cybern. Syst., 2015
Simul. Model. Pract. Theory, 2015
Eucalyptus-based private clouds: availability modeling and comparison to the cost of a public cloud.
Computing, 2015
Comput. Networks, 2015
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Stochastic Modeling of Auto Scaling Mechanism in Private Clouds for Supporting Performance Tuning.
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the 2015 IEEE World Congress on Services, 2015
A scheduler for mobile cloud based on weighted metrics and dynamic context evaluation.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the ICEIS 2015, 2015
Video on Demand Hosted in Private Cloud: Availability Modeling and Sensitivity Analysis.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015
Planning Mobile Cloud Infrastructures Using Stochastic Petri Nets and Graphic Processing Units.
Proceedings of the 7th IEEE International Conference on Cloud Computing Technology and Science, 2015
2014
Software aging in the eucalyptus cloud computing infrastructure: Characterization and rejuvenation.
ACM J. Emerg. Technol. Comput. Syst., 2014
Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks.
Int. J. Distributed Sens. Networks, 2014
Proceedings of the IEEE International Systems Conference, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 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
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Eucabomber 2.0: A tool for dependability tests in eucalyptus cloud infrastructures considering VM life-cycle.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014
Performability analysis of I/O bound application on container-based server virtualization cluster.
Proceedings of the IEEE Symposium on Computers and Communications, 2014
Proceedings of the IEEE 33rd International Performance Computing and Communications Conference, 2014
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014
Proceedings of the 10th International Conference on Network and Service Management, 2014
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014
2013
Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Sustain. Comput. Informatics Syst., 2013
Evaluating the Power Consumption of Wireless Sensor Network Applications Using Models.
Sensors, 2013
An analytical modeling framework to evaluate converged networks through business-oriented metrics.
Reliab. Eng. Syst. Saf., 2013
QoS-driven optimisation of composite web services: an approach based on GRASP and analytical models.
Int. J. Web Grid Serv., 2013
Estimating sustainability impact of high dependable data centers: a comparative study between Brazilian and US energy mixes.
Computing, 2013
A Tool for Automatic Dependability Test in Eucalyptus Cloud Computing Infrastructures.
Comput. Inf. Sci., 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Comparative Analysis of Migration-Based Rejuvenation Schedules on Cloud Availability.
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Proceedings of the IEEE International Conference on Systems, 2013
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013
Proceedings of the Computer Safety, Reliability, and Security, 2013
Performability models for designing disaster tolerant Infrastructure-as-a-Service cloud computing systems.
Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2013
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
Availability study on cloud computing environments: Live migration as a rejuvenation mechanism.
Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013
A simulation optimization approach for design space exploration of soft real-time embedded systems.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013
2012
IEEE Trans. Reliab., 2012
A hierarchical pre-runtime scheduling for hard real-time systems considering fault-tolerance.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Experimental evaluation of software aging effects in the eucalyptus elastic block storage.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Infrastructure modeling of converged networks for business-oriented metrics evaluation.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
An availability model for eucalyptus platform: An analysis of warm-standy replication mechanism.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Characterization of Software Aging Effects in Elastic Storage Mechanisms for Private Clouds.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Transforming UML state machines into stochastic Petri nets for energy consumption estimation of embedded systems.
Proceedings of the Sustainable Internet and ICT for Sustainability, 2012
Proceedings of IEEE International Conference on Communications, 2012
Models for dependability and sustainability analysis of data center cooling architectures.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012
2011
Microprocess. Microsystems, 2011
Proceedings of the Fifth International Workshop on the Practical Application of Stochastic Modelling, 2011
EURASIP J. Embed. Syst., 2011
A formal approach to the quantification of sustainability and dependability metrics on data center infrastructures.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011
Comparison analysis of statistical control charts for quality monitoring of network traffic forecasts.
Proceedings of the IEEE International Conference on Systems, 2011
Estimating reliability importance and total cost of acquisition for data center power infrastructures.
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the IEEE International Conference on Systems, 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
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the 12th International Conference on Parallel and Distributed Computing, 2011
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds.
Proceedings of the IEEE Third International Workshop on Software Aging and Rejuvenation, 2011
Modeling and Executing Business Processes with Annotated Security Requirements in the Cloud.
Proceedings of the IEEE International Conference on Web Services, 2011
2010
Automatic Modeling for Performance Evaluation of Inventory and Outbound Distribution.
IEEE Trans. Syst. Man Cybern. Part A, 2010
SIGMETRICS Perform. Evaluation Rev., 2010
Performance and energy consumption estimation for commercial off-the-shelf component system design.
Innov. Syst. Softw. Eng., 2010
A COTS-based approach for estimating performance and energy consumption of embedded real-time systems.
Inf. Process. Lett., 2010
Model-driven software synthesis for hard real-time applications with energy constraints.
Des. Autom. Embed. Syst., 2010
DBT-5: An Open-Source TPC-E Implementation for Global Performance Measurement of Computer Systems.
Comput. Informatics, 2010
Proceedings of the 2010 Spring Simulation Multiconference, 2010
A stochastic model for performance evaluation and bottleneck discovering on SOA-based systems.
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
WGCap: A synthetic trace generation tool for capacity planning of virtual server environments.
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the IEEE International Conference on Systems, 2010
Proceedings of the 11th Latin American Test Workshop, 2010
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010
Proceedings of the Second IEEE International Workshop on Software Aging and Rejuvenation, 2010
2009
RITA, 2009
ALUPAS: Avaliação de desempenho e consumo de energia de softwares para sistemas embarcados.
RITA, 2009
RITA, 2009
Performance Evaluation of Service-Oriented Architecture through Stochastic Petri Nets.
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the IEEE International Conference on Systems, 2009
Proceedings of the IEEE International Conference on Systems, 2009
Performance and Energy Consumption Evaluation of Embedded Applications: A Method Based on Platform's Behavioral Model.
Proceedings of the 21st International Symposium on Computer Architecture and High Performance Computing, 2009
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Performance modeling for evaluation and planning of Electronic Funds Transfer Systems.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009
Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic.
Proceedings of the First International Conference on Intensive Applications and Services, 2009
Proceedings of the International Conference on Ultra Modern Telecommunications, 2009
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
A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.
Proceedings of the Third International Conference on the Digital Society (ICDS 2009), 2009
2008
Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads.
Microprocess. Microsystems, 2008
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations.
Inf. Process. Lett., 2008
Des. Autom. Embed. Syst., 2008
Outer estimates of interval system of linear equations: ISPN models in dependability evaluation.
Proceedings of the IEEE International Conference on Systems, 2008
Proceedings of the IEEE International Conference on Systems, 2008
An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
A coloured petri net based approach for estimating execution time and energy consumption in embedded systems.
Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, 2008
Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, 2008
A Formal Approach for Estimating Embedded System Execution Time and Energy Consumption.
Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008
Performance Models for the Instance Pooling Mechanism of the JBoss Application Server.
Proceedings of the 2008 IEEE International Performance, 2008
ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.
Proceedings of the Design, Automation and Test in Europe, 2008
Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008
2007
ACM SIGSOFT Softw. Eng. Notes, 2007
ACM SIGSOFT Softw. Eng. Notes, 2007
Performance Evaluation of CORBA Concurrency Control Service Using Stochastic Petri Nets.
RITA, 2007
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007
Dynamic Voltage Scaling in hard real-time systems considering precedence and exclusion relations.
Proceedings of the IEEE International Conference on Systems, 2007
Proceedings of the IEEE International Conference on Systems, 2007
Performance evaluation of manufacturing systems using GSPN with energy consumption and human resource allocation annotations.
Proceedings of the IEEE International Conference on Systems, 2007
Proceedings of the IEEE International Conference on Systems, 2007
A time petri net-based approach for hard real-time systems scheduling considering dynamic voltage scaling, overheads, precedence and exclusion relations.
Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, 2007
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007
2006
Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the IEEE International Conference on Systems, 2006
Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems.
Proceedings of the IEEE International Conference on Systems, 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Proceedings of the IEEE International Conference on Systems, 2005
Proceedings of the IEEE International Conference on Systems, 2005
A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
Proceedings of the 18th Annual Symposium on Integrated Circuits and Systems Design, 2005
Proceedings of the 17th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2005), 2005
An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.
Proceedings of the Integrated Circuit and System Design, 2005
A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.
Proceedings of the Integrated Circuit and System Design, 2005
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005
A Timed Petri Net Approach for Pre-Runtime Scheduling in Partial and Dynamic Reconfigurable Systems.
Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005
Proceedings of the From Specification to Embedded Systems Application [International Embedded Systems Symposium, 2005
A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.
Proceedings of the Embedded Software and Systems, Second International Conference, 2005
A petri-net based Pre-runtime scheduler for dynamically self-reconfiguration of FPGAs (abstract only).
Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, 2005
A partial reconfigurable FPGA implementation for industrial controllers using SFC-petri net description (abstract only).
Proceedings of the ACM/SIGDA 13th International Symposium on Field Programmable Gate Arrays, 2005
2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004
An Approach for Pre Runtime Scheduling in Embedded Hard Real Time Systems with Power Constraints.
Proceedings of the 16th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2004), 2004
Proceedings of the Integrated Circuit and System Design, 2004
EZPetri: A Petri net interchange framework for Eclipse based on PNML.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 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
A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
A left-edge algorithm approach for scheduling and allocation of hardware contexts in dynamically reconfigurable architectures.
Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, 2004
2003
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003
Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
2002
Proceedings of the 15th Annual Symposium on Integrated Circuits and Systems Design, 2002
2001
Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001
A Petri Net Based Method for Resource Estimation: An Approach Considering Data-Dependency, Casual and Temporal Precedences.
Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001
2000
Proceedings of the IEEE International Conference on Systems, 2000
Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, 2000
1999
1998
A Petri net based approach for performing the initial allocation in hardware/software codesign.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
1997
Proceedings of the Proceedings 8th IEEE International Workshop on Rapid System Prototyping: Shortening the Path from Specification to Prototype, 1997
1996
Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign.
Proceedings of the Seventh IEEE International Workshop on Rapid System Prototyping (RSP '96), 1996