Search results for "Multi-Formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
3	Juan de Lara, Hans Vangheluwe	AToM3: A Tool for Multi-formalism and Meta-modelling.	FASE	2002	DBLP DOI BibTeX RDF	Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation
2	Mauro Iacono, Marco Gribaudo	Element Based Semantics in Multi Formalism Performance Models.	MASCOTS	2010	DBLP DOI BibTeX RDF	multi-formalism models, performance evaluation, modelling tools
2	Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi	PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description.	Petri Nets	2009	DBLP DOI BibTeX RDF	Stochastic discrete-event systems, SDES description, PDETool, Petri nets
2	Frédéric Boulanger, Cécile Hardebolle	Simulation of Multi-Formalism Models with ModHelX.	ICST	2008	DBLP DOI BibTeX RDF	Simulation, Model of computation, Heterogeneous modeling
2	Gary R. Mayer, Hessam S. Sarjoughian	Complexities of simulating a hybrid agent-landscape model using multi-formalism composability.	SpringSim	2007	DBLP DOI BibTeX RDF	poly-formalism, agents, cellular automata, multi-modeling, multi-formalism
2	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP DOI BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
2	Cécile Hardebolle, Frédéric Boulanger	ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling.	MoDELS Workshops	2007	DBLP DOI BibTeX RDF
2	Antoine Defontaine, Alfredo I. Hernández, Guy Carrault	Multi-formalism Modelling of Cardiac Tissue.	FIMH	2005	DBLP DOI BibTeX RDF
2	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
2	Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Francesco Moscato, Valeria Vittorini	A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.	PARA	2004	DBLP DOI BibTeX RDF
2	Juan de Lara, Gabriele Taentzer	Automated Model Transformation and Its Validation Using AToM 3 and AGG.	Diagrams	2004	DBLP DOI BibTeX RDF	Multi-Formalism Modelling, Meta-Modelling, Graph Transformation
2	Sophie Dupuy, Lydie du Bousquet	A Multi-formalism Approach for the Validation of UML Models.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
2	Mauro Pezzè, Michal Young	Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models.	ICSE	1997	DBLP DOI BibTeX RDF	multi-formalism analysis, Ada, concurrency, heterogeneity, state-space analysis
1	Hamid Mohammad Gholizadeh, Mohammad Abdollahi Azgomi	An Overview of a New Multi-formalism Modeling Framework.	ICISTM	2009	DBLP DOI BibTeX RDF
1	Richárd Legéndi, László Gulyás, Rajmund Bocsi, Tamás Máhr	Modeling Autonomous Adaptive Agents with Functional Language for Simulations.	EPIA	2009	DBLP DOI BibTeX RDF	El Farol Bar problem, Functional programming, agent-based simulations, multi-formalism
1	Laura Kallmeyer, Timm Lichte, Wolfgang Maier, Yannick Parmentier, Johannes Dellert, Kilian Evang	TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering	CoRR	2008	DBLP BibTeX RDF
1	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.	ICST	2008	DBLP DOI BibTeX RDF	cartier, model tranformation, testing, alloy
1	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-driven assessment of system dependability.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Reliability, Dependability, Requirements, Safety, Use cases
1	Dean C. Chatfield, Jack C. Hayya, Terry P. Harrison	A multi-formalism architecture for agent-based, order-centric supply chain simulation.	Simulation Modelling Practice and Theory	2007	DBLP DOI BibTeX RDF
1	Miriam Zia, Ernesto Posse, Hans Vangheluwe	Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.	ICSOFT (SE)	2007	DBLP BibTeX RDF
1	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim	2007	DBLP DOI BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
1	Francesco Moscato, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone, Mauro Iacono	The software architecture of the OsMoSys multisolution framework.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	multiformalism, multisolution, system modeling, orchestration
1	Holger Giese, Tihamer Levendovszky, Hans Vangheluwe	Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools.	MoDELS Workshops	2006	DBLP DOI BibTeX RDF	Multi-Paradgim Modeling, Modeling, Meta-modeling, Multi-Formalism
1	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-Driven Assessment of Use Cases for Dependable Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
1	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
1	Elisangela Mieko Kanacilo, Alexander Verbraeck	A distributed multi-formalism simulation to support rail infrastructure control design.	Winter Simulation Conference	2005	DBLP DOI BibTeX RDF
1	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke	Modeling Dynamic Architectures Using Nets-Within-Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf	Multi-Formalism Modeling Approach for Semiconductor Supply/Demand Networks.	Winter Simulation Conference	2004	DBLP BibTeX RDF
1	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
1	Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini	Repairable Fault Tree for the Automatic Evaluation of Repair Policies.	DSN	2004	DBLP DOI BibTeX RDF
1	Francesco Moscato, Nicola Mazzocca, Valeria Vittorini	Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.	PDP	2004	DBLP DOI BibTeX RDF
1	Mamadou K. Traoré	Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	Winter Simulation Conference	2003	DBLP DOI BibTeX RDF
1	Hans Vangheluwe, Juan de Lara	XML-based modeling and simulation: meta-models are models too.	Winter Simulation Conference	2002	DBLP DOI BibTeX RDF
1	Gwen Salaün, Michel Allemand, Christian Attiogbé	Specification of an Access Control System with a Formalism Combining CCS and CASL. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF
1	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini	DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	Model Objects, Performance Analysis Framework, Model composition
1	Juan de Lara, Hans Vangheluwe	Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.	ICGT	2002	DBLP DOI BibTeX RDF
1	Gwen Salaün, Michel Allemand, Christian Attiogbé	Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.	APSEC	2001	DBLP DOI BibTeX RDF	Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics
1	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
1	Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller	Formal Specification and Prototyping of Multi-agent Systems.	ESAW	2000	DBLP DOI BibTeX RDF	Agent, Specification, Prototyping
1	Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët	Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic.	B	1998	DBLP DOI BibTeX RDF
1	Mauro Pezzè, Michal Young	Generation of Multi-Formalism State-Space Analysis Tools.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys	Towards a multi-formalism framework for architectural synthesis: the ASAR project.	CODES	1994	DBLP DOI BibTeX RDF
1	Edward A. Ipser, David S. Wile, Dean Jacobs	A multi-formalism specification environment.	SDE	1990	DBLP DOI BibTeX RDF
1	Jean-Marie Hullot	A Multi-Formalism Programming Environment.	IFIP Congress	1983	DBLP BibTeX RDF