| Nome |
# |
|
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes, file e18b865d-93dd-1ee6-e053-3a05fe0ae544
|
8
|
|
Multidimensional Context Modeling Applied to Non-Functional Analysis of Software, file e18b865c-dbb7-1ee6-e053-3a05fe0ae544
|
7
|
|
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach, file 15314900-0d90-435f-b51e-c74e4eb13595
|
6
|
|
Expected-Delay-Summing Weak Bisimilarity for Markov Automata, file e18b865b-a7c0-1ee6-e053-3a05fe0ae544
|
6
|
|
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi, file e18b865b-899e-1ee6-e053-3a05fe0ae544
|
5
|
|
Teaching and Learning Centers and Coordinated Technologies for an Effective Transition at COVID-19 Pandemic Time to Massive Distance Learning and Online Exams, file c2af7a1c-3b3f-4d21-8e57-0c7535ec5e37
|
4
|
|
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions, file e18b865b-8298-1ee6-e053-3a05fe0ae544
|
4
|
|
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes, file e18b865b-8ab2-1ee6-e053-3a05fe0ae544
|
4
|
|
Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes, file e18b865b-a995-1ee6-e053-3a05fe0ae544
|
4
|
|
Formal Methods for Multicore Programming (SFM 2015), file e18b865b-a99a-1ee6-e053-3a05fe0ae544
|
4
|
|
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities, file e18b865b-f08b-1ee6-e053-3a05fe0ae544
|
4
|
|
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation, file e18b865c-9a53-1ee6-e053-3a05fe0ae544
|
4
|
|
Markovian Testing Equivalence and Exponentially Timed Internal Actions, file e18b865b-7fe7-1ee6-e053-3a05fe0ae544
|
3
|
|
A Process Algebraic Approach to Software Architecture Design, file e18b865b-82a7-1ee6-e053-3a05fe0ae544
|
3
|
|
Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation, file e18b865b-83b8-1ee6-e053-3a05fe0ae544
|
3
|
|
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes, file e18b865b-87bc-1ee6-e053-3a05fe0ae544
|
3
|
|
Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes, file e18b865b-898c-1ee6-e053-3a05fe0ae544
|
3
|
|
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent, file 091522c4-a282-4e4f-9898-c48123cef6e5
|
2
|
|
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities, file 188c6bbf-620e-4b67-a3de-91dc4cb54abd
|
2
|
|
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems, file 4222781d-bf99-46ff-995f-a7250ec61c8c
|
2
|
|
MoodleMoot Italia 2022 (MMIT 2022), file 7e32c0d5-4979-4d29-b59b-259453716569
|
2
|
|
Reverse Bisimilarity vs. Forward Bisimilarity, file 8462385e-e701-493a-94c7-f2b9e94cb119
|
2
|
|
Causal Reversibility Implies Time Reversibility, file 8f547497-37f4-4e37-a735-e0db42ba0c3d
|
2
|
|
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity, file 9d4b0e22-c0b5-4d6a-a45a-4b621ead55ec
|
2
|
|
A Formal Approach to the Integrated Analysis of Security and QoS, file e18b865b-78a3-1ee6-e053-3a05fe0ae544
|
2
|
|
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet, file e18b865b-78ae-1ee6-e053-3a05fe0ae544
|
2
|
|
Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures, file e18b865b-7a88-1ee6-e053-3a05fe0ae544
|
2
|
|
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances, file e18b865b-8001-1ee6-e053-3a05fe0ae544
|
2
|
|
European Performance Engineering Workshop (EPEW 2010), file e18b865b-829c-1ee6-e053-3a05fe0ae544
|
2
|
|
Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities, file e18b865b-8ab3-1ee6-e053-3a05fe0ae544
|
2
|
|
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems, file e18b865b-8ab5-1ee6-e053-3a05fe0ae544
|
2
|
|
Timed Process Calculi: From Durationless Actions to Durational Ones, file e18b865b-8ab6-1ee6-e053-3a05fe0ae544
|
2
|
|
On the Tradeoff between Compositionality and Exactness in Weak Bisimilarity for Integrated-Time Markovian Process Calculi, file e18b865b-a496-1ee6-e053-3a05fe0ae544
|
2
|
|
Special Issue on Open Problems in Concurrency Theory, file e18b865b-a99c-1ee6-e053-3a05fe0ae544
|
2
|
|
Disjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic Systems, file e18b865b-f041-1ee6-e053-3a05fe0ae544
|
2
|
|
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016), file e18b865b-f087-1ee6-e053-3a05fe0ae544
|
2
|
|
ULTraS at Work: Compositionality Metaresults for Bisimulation and Trace Semantics, file e18b865c-778e-1ee6-e053-3a05fe0ae544
|
2
|
|
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems, file e18b865c-893c-1ee6-e053-3a05fe0ae544
|
2
|
|
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions, file e18b865d-3c52-1ee6-e053-3a05fe0ae544
|
2
|
|
Facing the COVID-19 Pandemic with Moodle, Collaborate, Smowl, Meet, file e18b865d-3c54-1ee6-e053-3a05fe0ae544
|
2
|
|
Towards General Axiomatizations for Bisimilarity and Trace Semantics, file e18b865d-9b2a-1ee6-e053-3a05fe0ae544
|
2
|
|
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity, file 1d5a6c4d-3354-4fd0-b977-51b7129de195
|
1
|
|
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets, file e18b865b-78a8-1ee6-e053-3a05fe0ae544
|
1
|
|
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time, file e18b865b-78ad-1ee6-e053-3a05fe0ae544
|
1
|
|
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management, file e18b865b-7cab-1ee6-e053-3a05fe0ae544
|
1
|
|
Modal Logic Characterization of Markovian Testing and Trace Equivalences, file e18b865b-7ec3-1ee6-e053-3a05fe0ae544
|
1
|
|
Predicting the Functional/Performance Impact of Dynamic Power Management, file e18b865b-8003-1ee6-e053-3a05fe0ae544
|
1
|
|
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes, file e18b865b-8297-1ee6-e053-3a05fe0ae544
|
1
|
|
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference, file e18b865b-8328-1ee6-e053-3a05fe0ae544
|
1
|
|
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems, file e18b865b-8393-1ee6-e053-3a05fe0ae544
|
1
|
|
Performability Measure Specification: Combining CSRL and MSL, file e18b865b-84f5-1ee6-e053-3a05fe0ae544
|
1
|
|
A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences, file e18b865b-87ba-1ee6-e053-3a05fe0ae544
|
1
|
|
Encoding Timed Models as Uniform Labeled Transition Systems, file e18b865b-87bd-1ee6-e053-3a05fe0ae544
|
1
|
|
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations, file e18b865b-88bf-1ee6-e053-3a05fe0ae544
|
1
|
|
On the Discriminating Power of Passivation and Higher-Order Interaction, file e18b865b-8ab4-1ee6-e053-3a05fe0ae544
|
1
|
|
Theory and Application of Extended Markovian Process Algebra, file e18b865b-8b82-1ee6-e053-3a05fe0ae544
|
1
|
|
Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions, file e18b865b-f092-1ee6-e053-3a05fe0ae544
|
1
|
|
On the Coexistence of Exponential, Immediate and Passive Actions in EMPA, file e18b865c-7d08-1ee6-e053-3a05fe0ae544
|
1
|
|
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions, file e18b865c-7e17-1ee6-e053-3a05fe0ae544
|
1
|
|
Integrated Analysis of Concurrent Distributed Systems Using Markovian Process Algebra, file e18b865c-7e24-1ee6-e053-3a05fe0ae544
|
1
|
|
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services, file e18b865c-7ec3-1ee6-e053-3a05fe0ae544
|
1
|
|
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems, file e18b865c-7ec5-1ee6-e053-3a05fe0ae544
|
1
|
|
Packetized Audio for Industrial Applications: A Simulation Study, file e18b865c-7ec7-1ee6-e053-3a05fe0ae544
|
1
|
|
Compact Net Semantics for Process Algebras, file e18b865c-8015-1ee6-e053-3a05fe0ae544
|
1
|
|
Extended Markovian Process Algebra: A Case Study, file e18b865c-8017-1ee6-e053-3a05fe0ae544
|
1
|
|
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation, file e18b865c-8065-1ee6-e053-3a05fe0ae544
|
1
|
|
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking, file e18b865c-81e3-1ee6-e053-3a05fe0ae544
|
1
|
|
Giving a Net Semantics to Markovian Process Algebra, file e18b865c-8314-1ee6-e053-3a05fe0ae544
|
1
|
|
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions, file e18b865c-8324-1ee6-e053-3a05fe0ae544
|
1
|
|
TwoTowers 3.0: Enhancing Usability, file e18b865c-8391-1ee6-e053-3a05fe0ae544
|
1
|
|
Integrating TwoTowers and GreatSPN, file e18b865c-83be-1ee6-e053-3a05fe0ae544
|
1
|
|
Component-Oriented Verification of Noninterference, file e18b865c-83fd-1ee6-e053-3a05fe0ae544
|
1
|
|
Using EMPA for the Performance Evaluation of an ATM Switch, file e18b865c-83ff-1ee6-e053-3a05fe0ae544
|
1
|
|
Functional and Performance Modeling and Analysis of Token Ring Using EMPA, file e18b865c-8554-1ee6-e053-3a05fe0ae544
|
1
|
|
PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions, file e18b865c-861b-1ee6-e053-3a05fe0ae544
|
1
|
|
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol, file e18b865c-87ab-1ee6-e053-3a05fe0ae544
|
1
|
|
Italian Conference on Theoretical Computer Science (ICTCS 2018), file e18b865c-b0e6-1ee6-e053-3a05fe0ae544
|
1
|
|
Constructive Logical Characterizations of Bisimilarity for Reactive Probabilistic Systems, file e18b865c-c47b-1ee6-e053-3a05fe0ae544
|
1
|
|
Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults, file e18b865c-e5e3-1ee6-e053-3a05fe0ae544
|
1
|
|
Special Issue of the Italian Conference on Theoretical Computer Science 2018, file e18b865d-0184-1ee6-e053-3a05fe0ae544
|
1
|
|
Coherent Resolutions of Nondeterminism, file e18b865d-1364-1ee6-e053-3a05fe0ae544
|
1
|
|
Towards Bridging Time and Causal Reversibility, file e18b865d-1ecd-1ee6-e053-3a05fe0ae544
|
1
|
|
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism, file e18b865d-3c50-1ee6-e053-3a05fe0ae544
|
1
|
| Totale |
165 |