Andrea Marin

According to our database1, Andrea Marin
  • authored at least 68 papers between 2007 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Power control in saturated fork-join queueing systems.
Perform. Eval., 2017

Fair workload distribution for multi-server systems with pulling strategies.
Perform. Eval., 2017

LB-networks: A model for dynamic load balancing in queueing networks.
Perform. Eval., 2017

On the relations between Markov chain lumpability and reversibility.
Acta Inf., 2017

Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2016
Connectivity and energy-aware preorders for mobile ad-hoc networks.
Telecommunication Systems, 2016

Evaluating the impact of eDoS attacks to cloud facilities.
ICST Trans. Security Safety, 2016

Priority-based bandwidth allocation in wireless sensor networks.
EAI Endorsed Trans. Wireless Spectrum, 2016

Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic.
Computer Networks, 2016

Lumping and reversed processes in cooperating automata.
Annals OR, 2016

Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Modeling Energy Packets Networks in the Presence of Failures.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Product-Forms for Probabilistic Input/Output Automata.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Performance evaluation of AQM techniques with heterogeneous traffic.
Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

Applying Reversibility Theory for the Performance Evaluation of Reversible Computations.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015
On Discrete Time Reversibility modulo State Renaming and its Applications.
EAI Endorsed Trans. Self-Adaptive Systems, 2015

Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems.
IJCAET, 2015

Stress Analysis at Trocar and Endoscope Interface Using Computational Simulation: A Preliminary Study.
Proceedings of the Third International Conference on Robot, Vision and Signal Processing, 2015

Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

A Product-Form Model for the Analysis of Systems with Aging Objects.
Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams.
Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

Quantitative Analysis of Concurrent Reversible Computations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Interconnected Wireless Sensors with Energy Harvesting.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014
Model checking adaptive service compositions.
Sci. Comput. Program., 2014

Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations.
Perform. Eval., 2014

Behavioural equivalences and interference metrics for mobile ad-hoc networks.
Perform. Eval., 2014

Product-Forms in Multi-Way Synchronizations.
Comput. J., 2014

On Discrete Time Reversibility modulo State Renaming and its Applications.
Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

On the Relations between Lumpability and Reversibility.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

Optimisation of Servers with Different Quality of Services.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

2013
Separable solutions for Markov processes in random environments.
European Journal of Operational Research, 2013

Exploiting product forms solution techniques in multiformalism modeling.
Electr. Notes Theor. Comput. Sci., 2013

Contextual lumpability.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Queueing networks and conditional product-forms.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks.
Proceedings of the 16th ACM International Conference on Modeling, 2013

Autoreversibility: Exploiting Symmetries in Markov Chains.
Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Analysis of stochastic Petri nets with signals.
Perform. Eval., 2012

Methodological construction of product-form stochastic Petri nets for performance evaluation.
Journal of Systems and Software, 2012

Algorithmic product-form approximations of interacting stochastic models.
Computers & Mathematics with Applications, 2012

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks.
Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, 2012

Deriving the rate equations characterising product-form models and application to propagating synchronisations.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Interference-Sensitive Preorders for MANETs.
Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Evaluating resistance to jamming and casual interception in mobile wireless networks.
Proceedings of the 15th ACM International Conference on Modeling, 2012

A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes.
Proceedings of the 20th IEEE International Symposium on Modeling, 2012

Cooperating Stochastic Automata: Approximate Lumping an Reversed Process.
Proceedings of the Computer and Information Sciences III, 2012

Lumping and Reversed Processes in Cooperating Automata.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2012

2011
Performance engineering with product-form models: efficient solutions and applications.
Proceedings of the ICPE'11, 2011

A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols.
Proceedings of the IFIP Wireless Days Conference 2011, 2011

A framework for throughput and energy efficiency in mobile ad hoc networks.
Proceedings of the IFIP Wireless Days Conference 2011, 2011

Explicit solutions for queues with hypo-exponential service time and applications to product-form analysis.
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data.
Proceedings of the Computer Performance Engineering, 2011

A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

Optimisation of Virtual Machine Garbage Collection Policies.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010
Petri nets for modelling metabolic pathways: a survey.
Natural Computing, 2010

A general result for deriving product-form solutions in markovian models.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Separable equilibrium distributions for systems with unreliable wireless links.
Proceedings of the 3rd IFIP Wireless Days Conference 2010, 2010

A unifying approach to product-forms in networks with finite capacity constraints.
Proceedings of the SIGMETRICS 2010, 2010

From Systems to Components: Constructive Methods for Product-Form Solutions.
Proceedings of the QEST 2010, 2010

On product-form approximations of cooperating stochastic models.
Proceedings of the Computer and Information Sciences, 2010

A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces.
Proceedings of the Computer Performance Engineering, 2010

Product-Form Solutions for Models with Joint-State Dependent Transition Rates.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains.
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2007
Representing LCFSPR BCMP service center with Coxian service time by GSPN.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Queueing Networks.
Proceedings of the Formal Methods for Performance Evaluation, 2007


  Loading...