ACM Transactions on Computer Systems (TOCS)
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
A decomposition approach for stochastic reward net models
Performance Evaluation
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
The UltraSAN modeling environment
Performance Evaluation - Special issue: performance modeling tools
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
A compositional approach to performance modelling
A compositional approach to performance modelling
An efficient disk-based tool for solving large Markov models
Performance Evaluation - Special issue on tools for performance evaluation
"On-the-Fly" Solution Techniques for Stochastic Petri Nets and Extensions
IEEE Transactions on Software Engineering
State-space support for path-based reward variables
IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs
IEEE Transactions on Software Engineering
Measure-adaptive state-space construction
Performance Evaluation
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Simulation of Computer Communication Systems
Simulation of Computer Communication Systems
SPNP: The Stochastic Petri Net Package (Version 3.1)
MASCOTS '93 Proceedings of the International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
TANGRAM-II: A Performability Modeling Environment Tool
Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
Numerical analysis of superposed GSPNs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Integrated Frameworks for Multi-Level and Multi-Formalism Modeling
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
An Efficient Well-Specified Check
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
SMART: Simulation and Markovian Analyzer for Reliability and Timing
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
Design and Analysis of Experiments
Design and Analysis of Experiments
Modeling of Service-Level Agreements for Composed Services
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Optimal state-space lumping in Markov chains
Information Processing Letters
IEEE Transactions on Software Engineering
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications
IEEE Transactions on Dependable and Secure Computing
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 10 - Volume 11
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
FAST '04 Proceedings of the 3rd USENIX Conference on File and Storage Technologies
Logic and stochastic modeling with SMART
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Combining Response Surface Methodology with Numerical Methods for Optimization of Markovian Models
IEEE Transactions on Dependable and Secure Computing
Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems
IEEE Transactions on Software Engineering
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters
IEEE Transactions on Dependable and Secure Computing
The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A trace-based visual inspection technique to detect errors in simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Experimentation and output interchange for petri net models
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Phrase based browsing for simulation traces of network protocols
Proceedings of the 40th Conference on Winter Simulation
Performance and dependability modeling with Möbius
ACM SIGMETRICS Performance Evaluation Review
The development of a graphic multidimensional Markov Chain modeler to diagram large state spaces
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Availability analysis of blade server systems
IBM Systems Journal
Using security metrics coupled with predictive modeling and simulation to assess security processes
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Towards Modelling Information Security with Key-Challenge Petri Nets
NordSec '09 Proceedings of the 14th Nordic Conference on Secure IT Systems: Identity and Privacy in the Internet Age
Multiple abstraction levels in performance analysis of WSN monitoring systems
Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Transformation of UML Models into Analyzable OSAN Models
Electronic Notes in Theoretical Computer Science (ENTCS)
An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
A set of performance and dependability analysis components for CADP
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
A system dependability modeling framework using AADL and GSPNs
Architecting dependable systems IV
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Evaluating the adaptivity of computing systems
Performance Evaluation
Performance and security tradeoff
SFM'10 Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems
Security evaluation of layered intrusion tolerant systems
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
FAST'04 Proceedings of the 3rd USENIX conference on File and storage technologies
Recovering model invariants from simulation traces with Petri net analysis techniques
Winter Simulation Conference
Analysing and improving energy efficiency of distributed slotted Aloha
NEW2AN'11/ruSMART'11 Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking
Stochastic Petri net models of Ca2+ signaling complexes and their analysis
Natural Computing: an international journal
On data dissemination for large-scale complex critical infrastructures
Computer Networks: The International Journal of Computer and Telecommunications Networking
Analyzing energy consumption in a gossiping MAC protocol
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Symbolic model checking of stochastic systems: theory and implementation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Simulation of wireless sensor networks under partial coverage
Proceedings of the Winter Simulation Conference
iCAAS: An Interoperable and Configurable Architecture for Accessing Sensor Networks
International Journal of Adaptive, Resilient and Autonomic Systems
International Journal of Adaptive, Resilient and Autonomic Systems
Analyzing the impact of elasticity on the profit of cloud computing providers
Future Generation Computer Systems
Möbius shell: a command-line interface for möbius
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.01 |
The Möbius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Möbius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined abstract functional interface. Models and solution techniques interact with one another through the use of the standard interface, allowing them to interact with Möbius framework components, not formalism components. This permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques. This paper describes our approach, focusing on the 驴atomic model.驴 We describe the formal description of the Möbius components as well as their implementations in our software tool.