López-Jaquero, Victor Manuel; Vatavu, Radu-Daniel; Panach, Jose Ignacio; Pastor López, Oscar; Vanderdonckt, Jean(Association for Computing Machinery, 2019-06)
[EN] Welcome to EICS, the Engineering Interactive Computing Systems community, PACMHCI/EICS journal, and annual conference! In this short article, we introduce newcomers to the field and to our community with an overview ...
López Pons, Luis Enrique(Universitat Politècnica de València, 2013-04-29)
In model checking, the most time consuming stage is oftentimes not writing the
formal model (of the system to be analyzed) itself but validating the model:
ensuring the correct system has been modeled, before ensuring ...
USACH MOLINA, HECTOR; Vila Carbó, Juan Antonio; Torens, Cristoph; Adolf, Florian M.(Elsevier, 2018)
[EN] Civil Aviation Authorities are elaborating a new regulatory framework for the safe operation of Unmanned Aircraft Systems (UAS). Current proposals are based on the analysis of the specific risks of the operation as ...
Galán Pascual, Daniel(Universitat Politècnica de València, 2021-09-15)
[ES] El estado del arte en el diseño de herramientas de especialización automática de código está enfocado a la construcción de herramientas monolíticas, donde se priman la automatización completa y la eficiencia frente a ...
Padró Ferragut, Cristina(Universitat Politècnica de València, 2021-09-14)
[EN] With the rise in popularity of social media platforms in the last couple of decades,
there is a demand for a more thorough and formal understanding of how these networks
operate due to how quickly information is ...
Palacios Corella, Adrián(Universitat Politècnica de València, 2020-03-20)
[ES] Erlang es un lenguaje de programación funcional con concurrencia mediante paso de mensajes basado en el modelo de actores. Éstas y otras características lo hacen especialmente adecuado para aplicaciones distribuidas ...
Peiró Frasquet, Salvador(Universitat Politècnica de València, 2016-04-29)
[EN] The availability of new processors with more processing power for embedded systems has raised
the development of applications that tackle problems of greater complexity. Currently, the
embedded applications have more ...
Baggi ., Michele(Universitat Politècnica de València, 2010-11-29)
Desde los orígenes del hardware y el software hasta la época actual, la complejidad
de los sistemas de cálculo ha supuesto un problema al cual informáticos, ingenieros
y programadores han tenido que enfrentarse. Como ...
Ballis, Demis(Universitat Politècnica de València, 2008-05-07)
The increasing complexity of software systems has led to the development of sophisticated formal Methodologies for verifying and correcting data and programs. In general, establishing whether a program behaves correctly ...
Juan Achahuanco, Arturo Raúl de(Universitat Politècnica de València, 2022-09-14)
[ES] Las herramientas de verificación de modelos model checking existentes ofrecen ciertas
facilidades para el análisis y comprensión del proceso de verificación de sistemas hardware y software. Este es el caso del ...