| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marco Bernardo, Rocco De Nicola, Michele Loreti |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.  |
FoSSaCS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Component-oriented verification of noninterference. |
Journal of Systems Architecture - Embedded Systems Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Rocco De Nicola, Michele Loreti |
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi |
PACO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Jeremy Sproston |
Performability Measure Specification: Combining CSRL and MSL. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Valérie Issarny (eds.) |
Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures |
SFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Vittorio Cortellessa, Mirko Flamminj |
TwoEagles: A Model Transformation Tool from Architectural Descriptions to Queueing Networks. |
EPEW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Edoardo Bontà, Alessandro Aldini |
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions |
GANDALF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Flavio Corradini |
A Process Algebraic Approach to Software Architecture Design. |
|
2010 |
DOI RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.) |
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures |
SFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Rocco De Nicola, Michele Loreti |
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. |
TGC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa (eds.) |
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings |
EPEW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
Markovian Testing Equivalence and Exponentially Timed Internal Actions |
QFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Bontà, Marco Bernardo |
PADL2Java: A Java code generator for process algebraic architectural descriptions. |
WICSA/ECSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. |
ARSPA-WITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.) |
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures |
SFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Stefania Botta |
A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Edoardo Bontà |
Non-synchronous Communications in Process Algebraic Architectural Description Languages. |
ECSA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.) |
Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures |
SFM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
Towards State Space Reduction Based on T-Lumpability-Consistent Relations. |
EPEW |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
Non-bisimulation-based Markovian behavioral equivalences. |
J. Log. Algebr. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
A formal approach to the integrated analysis of security and QoS. |
Rel. Eng. & Sys. Safety |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Mixing logics and rewards for the component-oriented specification of performance measures. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Stefania Botta |
Modal Logic Characterization of Markovian Testing and Trace Equivalences. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Luca Padovani |
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Alessandro Aldini |
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. |
ICTCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo, Jane Hillston (eds.) |
Formal Methods for Performance Evaluation, 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures |
SFM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo |
A Survey of Markovian Behavioral Equivalences. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
Component-Oriented Specification of Performance Measures. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer |
Synthesizing Concurrency Control Components from Process Algebraic Specifications. |
COORDINATION |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Alessandro Cimatti (eds.) |
Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures |
SFM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
On the usability of process algebra: An architectural view. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Edoardo Bontà |
Preserving Architectural Properties in Multithreaded Code Generation. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Alessandro Bogliolo (eds.) |
Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures |
SFM |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi |
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. |
SFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
Symbolic semantic rules for producing compact STGLAs from value passing process descriptions. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
symbolic semantics, value passing, Process algebras |
| 1 | Marco Bernardo, Edoardo Bontà |
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi |
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. |
SAFECOMP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Flavio Corradini (eds.) |
Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures |
SFM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. |
QEST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Mario Bravetti |
Performance measure sensitive congruences for Markovian process algebras. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
TwoTowers 3.0: Enhancing Usability. (PDF / PS) |
MASCOTS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paola Inverardi (eds.) |
Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures |
SFM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simonetta Balsamo, Marco Bernardo, Marta Simeoni |
Performance Evaluation at the Software Architecture Level. |
SFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo |
A General Approach to Deadlock Freedom Verification for Software Architectures. |
FME |
2003 |
DBLP DOI BibTeX RDF |
software architecture, process algebra, deadlock |
| 1 | Marco Bernardo, Nadia Busi, Marina Ribaudo |
Integrating TwoTowers and GreatSPN through a compact net semantics. |
Perform. Eval. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello |
Architecting families of software systems with process algebras. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
Architectural mismatch detection, software architectures, process algebras, architectural styles |
| 1 | Marco Bernardo, Francesco Franzè |
Exogenous and Endogenous Extensions of Architectural Types. |
COORDINATION |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Francesco Franzè |
Architectural Types Revisited: Extensible And/Or Connections. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini |
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Abate, Marco Bernardo |
A scalable approach to the design of SW architectures with dynamically create/destroyed components. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Simonetta Balsamo, Marco Bernardo, Marta Simeoni |
Combining stochastic process algebras and queueing networks for software architecture analysis. |
Workshop on Software and Performance |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti |
Comparing the QoS of Internet audio mechanisms via formal methods. |
ACM Trans. Model. Comput. Simul. |
2001 |
DBLP DOI BibTeX RDF |
Internet audio mechanisms, quality of service, software tools, case studies, discrete event simulation, stochastic process algebras |
| 1 | Marco Bernardo, Roberto Gorrieri |
Corrigendum to ``A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time'' - [TCS 202 (1998) 1-54]. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello |
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. |
WICSA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
A Simulation Analysis of Dynamic Server Selection Algorithms for Replicated Web Services. |
MASCOTS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Mario Bravetti |
Reward Based Congruences: Can We Aggregate More? |
PAPM-PROBMIV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Marco Bernardo |
Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Rance Cleaveland |
A Theory of Testing for Markovian Processes. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Marina Ribaudo, Nadia Busi |
Compact Net Semantics for Process Algebras. |
FORTE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo |
Implementing Symbolic Models for Value Passing in TwoTowers. |
Computer Performance Evaluation / TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Nadia Busi, Marina Ribaudo |
Integrating Two Towers and GreatSPN. |
ICALP Satellite Workshops |
2000 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello |
ÆMPA: a process algebraic description language for the performance analysis of software architectures. |
Workshop on Software and Performance |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello |
On the formalization of architectural types with process algebras. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo |
Let's Evaluate Performance Algebraically. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Roberto Gorrieri, Marco Roccetti |
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Formal support to system design, Packetised audio, Simulation, Performance evaluation, Process algebras |
| 1 | Marco Bernardo, Roberto Gorrieri |
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri |
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Bravetti, Marco Bernardo, Roberto Gorrieri |
Towards Performance Evaluation with General Distributions in Process Algebras. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Rance Cleaveland, Steve Sims, W. Stewart |
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. |
FORTE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo |
An Algebra-Based Method to Associate Rewards with EMPA Terms. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Roberto Gorrieri |
Extended Markovian Process Algebra. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Nadia Busi, Roberto Gorrieri |
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. |
Comput. J. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri |
Integrated analysis of concurrent distributed systems using Markovian process algebra. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")