Navegar

Colección

Datos Estadísticas

Lista de

Computer software
42
"Fully Reflective Execution Environments" (2018) Chari, G.; Garbervetsky, D.; Marr, S.; Ducasse, S. IEEE Transactions on Software Engineering
"Note: Tormenta: An open source Python-powered control software for camera based optical microscopy" (2016) Barabas, F.M.; Masullo, L.A.; Stefani, F.D. Review of Scientific Instruments. 87(12)
"Discrete Event Modeling and Simulation-Driven Engineering for the ATLAS Data Acquisition Network" (2016) Bonaventura, M.; Foguelman, D.; Castro, R. Computing in Science and Engineering. 18(3):70-83
"Emission spectroscopy of an atmospheric pressure plasma jet operated with air at low frequency" (2015) Giuliani, L.;Gallego, J.L.;Minotti, F. (...)Ad Astra Rocket Company; Instituto Tecnologico de Costa Rica; International Atomic Energy Agency (IAEA); Universidad Nacional de Costa Rica 15th Latin American Workshop on Plasma Physics, LAWPP 2014 and 21st IAEA TM on Research Using Small Fusion Devices, RUSFD 2014. 591(1)
"Practical JFSL verification using TACO" (2014) Chicote, M.; Ciolek, D.; Galeotti, J.P. Software - Practice and Experience. 44(3):317-334
"TacoFlow: optimizing SAT program verification using dataflow analysis" (2014) Cuervo Parrino, B.; Galeotti, J.P.; Garbervetsky, D.; Frias, M.F. Software and Systems Modeling. 14(1):45-63
"A categorical approach to structuring and promoting Z specifications" (2013) Castro, P.F.; Aguirre, N.; López Pombo, C.G.; Maibaum, T. 9th International Symposium on Formal Aspects of Component Software, FACS 2012. 7684 LNCS:73-91
"Graphical modeling and simulation of discrete-event systems with CD++Builder" (2013) Bonaventura, M.; Castro, R.; Wainer, G.A. SIMULATION. 89(1):4-27
"Synthesizing nonanomalous event-based controllers for liveness goals" (2013) D'Ippolito, N.; Braberman, V.; Piterman, N.; Uchitel, S. ACM Transactions on Software Engineering and Methodology. 22(1)
"TACO: Efficient SAT-based bounded verification using symmetry breaking and tight bounds" (2013) Galeotti, J.P.; Rosner, N.; Lopez Pombo, C.G.; Frias, M.F. IEEE Transactions on Software Engineering. 39(9):1283-1306
"Abstractions for validation in action" (2012) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012. 7320 LNCS:192-218
"Region-based memory management: An evaluation of its support in RTSJ" (2012) Higuera-Toledano, M.T.; Yovine, S.; Garbervetsky, D. Distributed, Embedded and Real-time Java Systems. 9781441981585:101-127
"On the classification of quandles of low order" (2012) Vendramin, L. Journal of Knot Theory and its Ramifications. 21(9)
"Multilayer simulations for accurate geological interpretations of SHARAD radargrams" (2011) Spagnuolo, M.G.;Grings, F.;Perna, P. (...)Ramos, V.A. Planetary and Space Science. 59(11-12):1222-1230
"Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory" (2011) Multitudinario:470 Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment. 635(1):92-102
"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:335-336
"Behavioural validation of software engineering artefacts" (2010) De Caso, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:505-506
"A flexible tool suite for change-aware test-driven development of web applications" (2010) Robles Luna, E.; Burella, J.; Grigera, J.; Rossi, G. 32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010. 2:297-298
"Advanced IDE for modeling and simulation of discrete event systems" (2010) Bonaventura, M.; Wainer, G.A.; Castro, R. 2010 Spring Simulation Multiconference, SpringSim'10
"On transforming Java-like programs into memory-predictable code" (2009) Garbervetsky, D.;Yovine, S.;Braberman, V. (...)Taboada, A. 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2009:140-149
"Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering" (2009) Uchitel, S. 12th Brazilian Symposium on Formal Methods, SBMF 2009. 5902 LNCS:17-22
"Clausula: A didactic tool to teach first order logic" (2009) Mauco, M.V.; Ferrante, E. 26th Information Systems Education Conference, ISECON 2009. 26
"Describing and analyzing behaviours over tabular specifications using (Dyn)alloy" (2009) Aguirre, N.M.;Frias, M.F.;Moscato, M.M. (...)Wassyng, A. 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009. 5503:155-170
"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462
"Learning operational requirements from goal models" (2009) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:265-275
"Existential live sequence charts revisited" (2008) Sibay, G.; Uchitel, S.; Braberman, V. 30th International Conference on Software Engineering 2008, ICSE'08:41-50
"On correct and complete strong merging of partial behaviour models" (2008) Fischbein, D.; Uchitel, S. 16th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, SIGSOFT 2008/FSE-16:297-307
"Towards abstraction for DynAlloy specifications" (2008) Aguirre, N.M.;Frias, M.F.;Ponzio, P. (...)Regis, G. 10th International Conference on Formal Engineering Methods, ICFEM 2008. 5256 LNCS:207-225
"Achieving both model and code coverage with automated gray-box testing" (2007) Kicillof, N.; Grieskamp, W.; Tillmann, N.; Braberman, V. Proceedings of the 3rd International Workshop Advances in Model Based Testing, AMOST 2007:1-11
"The impact of particle-bound cadmium on bioavailability and bioaccumulation: A pragmatic approach" (2006) Piol, M.N.;López, A.G.;Miño, L.A. (...)Verrengia Guerrero, N.R. Environmental Science and Technology. 40(20):6341-6347
"The impact of particle-bound cadmium on bioavailability and bioaccumulation: A pragmatic approach" (2006) Piol, M.N.;López, A.G.;Miño, L.A. (...)Verrengia Guerrero, N.R. Environmental Science and Technology. 40(20):6341-6347
"Interpretability of first-order linear temporal logics in fork algebras" (2006) Frias, M.F.; Pombo, C.G.L. Journal of Logic and Algebraic Programming. 66(2):161-184
"A SAR time series analysis toolbox for extracting fire affected areas in wetlands" (2003) Karszenbaum, H.;Tiffenberg, J.;Grings, F. (...)Pratolongo, P. 2003 IGARSS: Learning From Earth's Shapes and Colours. 6:4107-4109
"Functional programming concepts and straight-line programs in computer algebra" (2002) Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Mathematics and Computers in Simulation. 60(6):423-473
"Zeus: A distributed timed model-checker based on Kronos" (2002) Braberman, V.; Olivero, A.; Schapachnik, F. PDMC 2002, Parallel and Distributed Model Checking (Satellite Workshop of CONCUR 2002). 68(4):503-522
"Optimization and Empirical Modeling of HG-ICP-AES Analytical Technique through Artificial Neural Networks" (2001) Magallanes, J.F.; Smichowski, P.; Marrero, J. Journal of Chemical Information and Computer Sciences. 41(3):824-829
"Pressure dependence of ionic polarizabilities in crystals" (2001) Carolina Monard, M.; Bruno, J.A.O.; Faour, J.; Batana, A. Computers and Chemistry. 25(5):429-438
"Shell: A code for lattice dynamics and structure optimisation of ionic crystals" (1998) Taylor, M.B.;Barrera, G.D.;Allan, N.L. (...)Mackrodt, W.C. Computer Physics Communications. 109(2-3):135-143
"Simulation of metals and alloys using quasi-harmonic lattice dynamics" (1997) Barrera, G.D.; De Tendler, R.H. Computer Physics Communications. 105(2-3):159-168
"Surface electromagnetic waves at the interface with anisotropic media" (1995) Simon, J.M.; Presa, V.A. Journal of Modern Optics. 42(11):2201-2211
"NUCADA-Two adaptations of the system nucore for nuclear structure calculations" (1983) Heras, C.A.; Abecasis, S.M. Computer Physics Communications. 29(1):73-85