Travelled to:1 × Austria
1 × Cyprus
1 × France
1 × Norway
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Estonia
7 × Italy
Collaborated with:∅ A.Aldini E.Bontà R.D.Nicola M.Loreti P.Ciancarini L.Donatiello F.Franzè P.Abate D.Sangiorgi V.Vignudelli S.Balsamo M.Simeoni A.Acquaviva A.Bogliolo E.Lattanzi
Talks about:architectur (9) process (8) algebra (5) descript (4) softwar (4) equival (4) nondeterminist (3) probabilist (3) markovian (3) synchron (2)
Person: Marco Bernardo
DBLP: Bernardo:Marco
Facilitated 13 volumes:
EdEdEdEdEdEdEdEdEdEdEdEdEdContributed to:
2015
20142013
201220122009
2009
2008200720062005
2004
20032003
2002
20022001
2000
1997Wrote 19 papers:
- QAPL-2015-AldiniB #automaton #markov #similarity
- Expected-Delay-Summing Weak Bisimilarity for Markov Automata (AA, MB), pp. 1–15.
- LICS-CSL-2014-BernardoSV #higher-order #interactive #on the #power of
- On the discriminating power of passivation and higher-order interaction (MB, DS, VV), p. 10.
- QAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process
- The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
- FoSSaCS-2012-BernardoNL #nondeterminism #probability #process #testing
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 195–209.
- QAPL-2012-Bernardo #bisimulation #concurrent #markov #process
- Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent Processes (MB), pp. 122–136.
- QAPL-2009-Bernardo #logic #markov #nondeterminism #probability #process #testing
- Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes (MB), pp. 3–23.
- WICSA-ECSA-2009-BontaB #algebra #architecture #code generation #java #named #process
- PADL2Java: A Java code generator for process algebraic architectural descriptions (EB, MB), pp. 161–170.
- ECSA-2008-BernardoB #algebra #architecture #process
- Non-synchronous Communications in Process Algebraic Architectural Description Languages (MB, EB), pp. 3–18.
- SFM-2007-Bernardo #behaviour #markov #overview
- A Survey of Markovian Behavioral Equivalences (MB), pp. 180–219.
- QAPL-2006-AldiniB #component #metric #performance #specification
- Component-Oriented Specification of Performance Measures (AA, MB), pp. 27–43.
- SFM-2005-AcquavivaABBBL #formal method #impact analysis #power management #predict
- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management (AA, AA, MB, AB, EB, EL), pp. 155–189.
- WICSA-2004-BernardoB #architecture #generative #parallel #source code #thread
- Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions (MB, EB), pp. 167–176.
- FME-2003-AldiniB #approach #architecture #concurrent #verification
- A General Approach to Deadlock Freedom Verification for Software Architectures (AA, MB), pp. 658–677.
- SFM-2003-BalsamoBS #architecture #evaluation #performance
- Performance Evaluation at the Software Architecture Level (SB, MB, MS), pp. 207–258.
- FASE-2002-BernardoF #architecture
- Architectural Types Revisited: Extensible And/Or Connections (MB, FF), pp. 113–127.
- SEKE-2002-AbateB #approach #architecture #component #design #scalability
- A scalable approach to the design of SW architectures with dynamically create/destroyed components (PA, MB), pp. 255–262.
- WICSA-2001-BernardoCD #algebra #architecture #detection #process
- Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems (MB, PC, LD), pp. 77–86.
- FSE-2000-BernardoCD #algebra #architecture #formal method #on the #process
- On the formalization of architectural types with process algebras (MB, PC, LD), pp. 140–148.
- ICALP-1997-Bernardo #algebra
- An Algebra-Based Method to Associate Rewards with EMPA Terms (MB), pp. 358–368.