Navegar

Colección

Datos Estadísticas

Lista de

Braberman, Víctor Adrián
45
10th International Workshop on Software Specification and Design, IWSSD 2000
1
11th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2013
1
11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2016
2
12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012
1
18th International Symposium on Formal Methods, FM 2012
2
1st International Workshop on Control Theory for Software Engineering, CTSE 2015
2
1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008
1
1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Co-located with ICSE 2011
1
2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006
1
2008 International Symposium on Memory Management, ISMM'08
1
2009 31st International Conference on Software Engineering, ICSE 2009
1
22nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2010
1
30th International Conference on Software Engineering 2008, ICSE'08
1
33rd International Conference on Software Engineering, ICSE 2011
1
36th International Conference on Software Engineering, ICSE 2014
1
55th IEEE Conference on Decision and Control, CDC 2016
1
5th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2007
1
7th European Software Engineering Conference, ESEC 1999 - Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, FSE 1999
1
7th International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2009
1
7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009
1
8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Proceedings
1
ACM Transactions on Software Engineering and Methodology
2
Computer Science - Research and Development
1
Concurrency Computation Practice and Experience
1
Formal Methods in System Design
1
IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013
1
IEEE Transactions on Software Engineering
1
International Journal of Software Engineering and Knowledge Engineering
1
International Journal on Software Tools for Technology Transfer
1
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1
PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002)
1
Proceedings - 26th International Conference on Software Engineering, ICSE 2004
1
Proceedings of the 1998 19th IEEE Real-Time Systems Symposium
1
Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007
1
Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004)
1
QAPL'01, Quantitative Aspects of Programming Languages (Satellite Event of PLI 2001)
1
Requirements Engineering
1
Science of Computer Programming
2
Software Testing Verification and Reliability
1
Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002)
1