Search results for "multiformalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola	A Study on Multiformalism Modeling of Critical Infrastructures.	CRITIS	2008	DBLP DOI BibTeX RDF	Multiformalism Modeling, Security, Performability, Dependability, Critical Infrastructure
53	Francesco Moscato 0001, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone 0001, Mauro Iacono	The software architecture of the OsMoSys multisolution framework.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	multiformalism, multisolution, system modeling, orchestration
45	Marco Gribaudo, Francesco Moscato 0001, Nicola Mazzocca, Valeria Vittorini	Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.	QEST	2005	DBLP DOI BibTeX RDF
31	Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi	Using Simulation for the Validation of High Level Specifications of Control Systems.	J. Intell. Robotic Syst.	2003	DBLP DOI BibTeX RDF	discrete event control systems, multiformalism, simulation, validation
30	Tancredi Covioli, Tommaso Dolci, Fabio Azzalini, Davide Piantella, Enrico Barbierato, Marco Gribaudo	Workflow Characterization of a Big Data System Model for Healthcare Through Multiformalism.	EPEW	2023	DBLP DOI BibTeX RDF
30	Elvio Gilberto Amparore, Marco Beccuti, Paolo Castagno, Giuliana Franceschinis, Marzio Pennisi, Simone Pernice	Multiformalism modeling and simulation of immune system mechanisms.	BIBM	2021	DBLP DOI BibTeX RDF
30	Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Agnieszka Jakobik	Exploiting CloudSim in a multiformalism modeling approach for cloud based systems.	Simul. Model. Pract. Theory	2019	DBLP DOI BibTeX RDF
30	Francesco Flammini, Stefano Marrone 0001, Nicola Mazzocca, Valeria Vittorini	Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring.	Recent Advances in Computational Intelligence in Defense and Security	2016	DBLP DOI BibTeX RDF
30	Ahsan Qamar, Sebastian J. I. Herzig, Christiaan J. J. Paredis, Martin Törngren	Analyzing semantic relationships between multiformalism models for inconsistency management.	SysCon	2015	DBLP DOI BibTeX RDF
30	Fatma Dandashi, Vinay Lakshminarayan, Nancy Schult	Multiformalism, multiresolution, multiscale modeling.	WSC	2015	DBLP DOI BibTeX RDF
30	Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin	Exploiting product forms solution techniques in multiformalism modeling.	PASM/PDMC	2012	DBLP DOI BibTeX RDF
30	Mauro Iacono, Enrico Barbierato, Marco Gribaudo	The SIMTHESys multiformalism modeling framework.	Comput. Math. Appl.	2012	DBLP DOI BibTeX RDF
30	Enrico Barbierato, Andrea Bobbio, Marco Gribaudo, Mauro Iacono	Multiformalism to Support Software Rejuvenation Modeling.	ISSRE Workshops	2012	DBLP DOI BibTeX RDF
30	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Exploiting multiformalism models for testing and performance evaluation in SIMTHESys.	VALUETOOLS	2011	DBLP DOI BibTeX RDF
30	Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Stefano Marrone 0001	Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools.	ASMTA	2011	DBLP DOI BibTeX RDF
30	Francesco Flammini, Nicola Mazzocca, Francesco Moscato 0001, Alfio Pappalardo, Concetta Pragliola, Valeria Vittorini	Multiformalism techniques for critical infrastructure modelling.	Int. J. Syst. Syst. Eng.	2010	DBLP DOI BibTeX RDF
30	Stefano Marrone 0001, Camilla Papa, Valeria Vittorini	Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.	IFM	2010	DBLP DOI BibTeX RDF
30	Antoine Defontaine	Modélisation multirésolution et multiformalisme de l'activité électrique cardiaque. (Multiresolution and multiformalism modelling of cardiac electrical activity).		2006	RDF
30	Virginie Le Rolle	Modélisation Multiformalisme du Système Cardiovasculaire associant Bond Graph, Equations Différentielles et Modèles Discrets. (Multiformalism Modeling of the Cardiovascular System combining Bond Graphs, Differential Equations and Discret Events Models).		2006	RDF
30	Daniel Gaffé	Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchrone. (The grafcet model: Discussion and integration in a multiformalism synchronous platform).		1996	RDF
30	Herbert Praehofer, Franz Auernig, Gernot Reisinger	An environment for DEVS-based multiformalism simulation in Common Lisp/CLOS.	Discret. Event Dyn. Syst.	1993	DBLP DOI BibTeX RDF
30	Herbert Praehofer, Dietmar Pree	Visual modeling of DEVS-based multiformalism systems based on higraphs.	WSC	1993	DBLP DOI BibTeX RDF
30	H. Bachatène, Amal El Fallah Seghrouchni	A Multiformalism Approach to Formalize Intelligent Cooperative Information Systems.	ICICIS	1993	DBLP BibTeX RDF
30	Haféda Bachatène, Pascal Estraillier	A Multiformalism Approach to Formalize Complex Distributed Systems.	IFIP Congress (1)	1992	DBLP BibTeX RDF
23	Silvano Chiaradonna, Paolo Lollini, Felicita Di Giandomenico	On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems.	DSN	2007	DBLP DOI BibTeX RDF
23	Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri	Integration of an MPS Modeling Approach into Mobius.	QEST	2006	DBLP DOI BibTeX RDF
23	Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis	Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems.	QEST	2005	DBLP DOI BibTeX RDF
23	Carmen-Veronica Bobeanu, Eugene J. H. Kerckhoffs, Hendrik Van Landeghem	Modeling of discrete event systems: A holistic and incremental approach using Petri nets.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	experimental frame, Petri nets, DEVS, structural modeling, Algebraic structures
23	Hassan Reza, Emanuel S. Grant	Model Oriented Software Architecture.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF
23	Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang	Modeling statecharts and activitycharts as signal equations.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages
23	Herbert Praehofer, Franz Pichler	Multifacetted, Object Oriented Modeling in the Transportation Domain.	EUROCAST	1995	DBLP DOI BibTeX RDF