Publications

Export 653 results:
Sort by: [ Author (Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Á
[1424] Álvarez Jarreta, J.  2011.  Análisis filogenético molecular: Diseño e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. Master
C
[CelayaAGRID06] Celaya, J, Arronategui U.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
0 icon
celarr_grid06.pdf
[CelayaAHPCC06] Celaya, J, Arronategui U.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
0 icon
celarr_hpcc06.pdf
A
[1246] Arronategui, U, Celaya J.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
application/pdf icon
celarr_grid06.pdf
[1247] Arronategui, U, Celaya J.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
application/pdf icon
celarr_hpcc06.pdf
[1248] Arronategui, U, Celaya J.  2010.  Distributed Scheduler of Workflows with Deadlines in a P2P Desktop Grid. 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing.
application/pdf icon
celarr_pdp2010.pdf
M
[1256] Mahulea, C, Asaftei T, Matcovschi M.  2009.  Qualitative versus Quantitative Techniques in a Petri net settings. Buletinul Institutului Politehnic din Iasi. Tomul LV (LIX), Fasc. 4:35-46.
B
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
0 icon
02_BDM_WOSP.ps
[BM-IC-06] Bernardi, S, Merseguer J.  2006.  QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
0 icon
BM-IC-06.pdf
[BM-WOSP-07] Bernardi, S, Merseguer J.  2007.  A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
0 icon
BM-07.pdf
[BM-JSS-07] Bernardi, S, Merseguer J.  2007.  Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
0 icon
BM-JSS-07.pdf
[BDM-Tutorial] Bernardi, S, Donatelli S, Merseguer J.  2005.  On derivation of Petri net quantitative models from UML software system specifications.
[BMP-RR-08] Bernardi, S, Merseguer J, Petriu D.  2008.  An UML profile for dependability analysis and modeling of software systems. :47.
0 icon
DAMreportV2.pdf
[BMP-Models-08] Bernardi, S, Merseguer J, Petriu D.  2008.  Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
0 icon
BMP08-MODELS-CR.pdf
[BMP-SOSYM09] Bernardi, S, Merseguer J, Petriu D.  2011.  A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
application/postscript icon
BMP-09.ps
P
[PMB-ICPE10] Perez-Palacin, D, Merseguer J, Bernardi S.  2010.  Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
application/pdf icon
wosp50-perezpalacin.pdf
B
[BBCM-09] Berardinelli, L, Bernardi S, Cortellessa V, Merseguer J.  2009.  UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
application/pdf icon
paper3.pdf
[BML-EDCC-10] Bernardi, S, Merseguer J, Lutz RR.  2010.  Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile. Eighth European Dependable Computing Conference (EDCC'10). :95-104.
application/postscript icon
BML-EDCC10.ps
R
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
application/pdf icon
serene2010_camera_ready.pdf
M
[1381] Merseguer, J, Bernardi S.  2012.  Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
application/pdf icon
BM-DEDS.pdf
B
[1382] Bernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V.  2011.  Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[1383] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
application/pdf icon
bmp11-cs.pdf
[1430] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
application/pdf icon
BMP12.pdf
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  2013.  Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
application/pdf icon
ress12_dam.pdf
[1487] Bernardi, S, Merseguer J.  2013.  A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.