Search results for "Multi-Formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
69	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
64	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
37	Thomas Huining Feng, Miriam Zia, Hans Vangheluwe	Multi-formalism modelling and model transformation for the design of reactive systems.	SCSC	2007	DBLP BibTeX RDF	computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
37	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
37	Gary R. Mayer, Hessam S. Sarjoughian	Complexities of simulating a hybrid agent-landscape model using multi-formalism composability.	SpringSim (2)	2007	DBLP BibTeX RDF	poly-formalism, agents, cellular automata, multi-modeling, multi-formalism
37	Sophie Dupuy, Lydie du Bousquet	A Multi-formalism Approach for the Validation of UML Models.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
37	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
33	Hans Vangheluwe, Juan de Lara	XML-based modeling and simulation: meta-models are models too.	WSC	2002	DBLP DOI BibTeX RDF
32	Antoine Defontaine, Alfredo I. Hernández, Guy Carrault	Multi-formalism Modelling of Cardiac Tissue.	FIMH	2005	DBLP DOI BibTeX RDF
32	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
29	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
28	Juan de Lara, Hans Vangheluwe	Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.	ICGT	2002	DBLP DOI BibTeX RDF
28	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
26	Frédéric Boulanger, Cécile Hardebolle	Simulation of Multi-Formalism Models with ModHel'X.	ICST	2008	DBLP DOI BibTeX RDF	Simulation, Model of computation, Heterogeneous modeling
26	Cécile Hardebolle, Frédéric Boulanger	ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
26	Mauro Iacono, Stefano Marrone 0001, Nicola Mazzocca, Francesco Moscato 0001, Valeria Vittorini	A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.	PARA	2004	DBLP DOI BibTeX RDF
22	Hans Vangheluwe, Juan de Lara	Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation.	WSC	2003	DBLP DOI BibTeX RDF
22	Graham Clark, William H. Sanders	Implementing a Stochastic Process Algebra within the Möbius Modeling Framework.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
21	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
21	Richárd Oliver 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
21	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
21	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
21	Gwen Salaün, Michel Allemand, J. 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
18	Francesco Moscato 0001, Nicola Mazzocca, Valeria Vittorini	Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems.	PDP	2004	DBLP DOI BibTeX RDF
17	Mahamadou Belem, Jean-Pierre Müller	An organizational model for multi-scale and multi-formalism simulation: Application in carbon dynamics simulation in West-African Savanna.	Simul. Model. Pract. Theory	2013	DBLP DOI BibTeX RDF
17	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
17	William H. Sanders	Integrated frameworks for multi-level and multi-formalism modeling.	PNPM	1999	DBLP DOI BibTeX RDF
17	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
16	Gwen Salaün, Michel Allemand, J. Christian Attiogbé	Specification of an Access Control System with a Formalism Combining CCS and CASL.	IPDPS	2002	DBLP DOI BibTeX RDF
15	Shahid Khan 0002, Matthias Volk 0001, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou	Model Checking the Multi-Formalism Language FIGARO.	DSN	2021	DBLP DOI BibTeX RDF
15	Michael Haustermann, David Mosteller, Daniel Moldt	Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets.	Petri Nets	2021	DBLP DOI BibTeX RDF
15	Rudi Stouffs	A Multi-formalism Shape Grammar Interpreter.	CAAD Futures	2021	DBLP DOI BibTeX RDF
15	Enrico Barbierato, Marco Gribaudo, Giuseppe Serazzi	Multi-formalism Models for Performance Engineering.	Future Internet	2020	DBLP DOI BibTeX RDF
15	Simona Bernardi 0001, Stefano Marrone 0001, José Merseguer, Roberto Nardone, Valeria Vittorini	Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
15	Fabíola Gonçalves C. Ribeiro	Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems.		2019	RDF
15	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models.	EPEW	2016	DBLP DOI BibTeX RDF
15	Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella	A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems.	ECMS	2016	DBLP DOI BibTeX RDF
15	Alexander H. Levis	Multi-formalism modeling for the enterprise.	Inf. Knowl. Syst. Manag.	2015	DBLP DOI BibTeX RDF
15	Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee 0001	Hierarchical multi-formalism proofs of cyber-physical systems.	MEMOCODE	2015	DBLP DOI BibTeX RDF
15	Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec	A role language to interpret multi-formalism System of systems models.	SysCon	2015	DBLP DOI BibTeX RDF
15	Alexander H. Levis	Multi-Formalism Modeling Of Human Organizations.	ECMS	2015	DBLP DOI BibTeX RDF
15	Xiaobo Li 0003, Weiping Wang 0002, Ning Zhu, Hua He, Yonglin Lei	A State-Centered Multi-formalism Behavioral Modeling Method for Combat System Effectiveness Simulation.	DS-RT	2015	DBLP DOI BibTeX RDF
15	Enrico Barbierato, Marco Gribaudo, Mauro Iacono	Performance evaluation of NoSQL big-data applications using multi-formalism models.	Future Gener. Comput. Syst.	2014	DBLP DOI BibTeX RDF
15	Célia Martinie, David Navarre, Philippe A. Palanque	A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.	Int. J. Hum. Comput. Stud.	2014	DBLP DOI BibTeX RDF
15	Alexander H. Levis, Bahram Yousefi	Multi-Formalism Modeling For Evaluating The Effect Of Cyber Exploits.	ECMS	2014	DBLP DOI BibTeX RDF
15	Michael Westergaard	CPN Tools 4: Multi-formalism and Extensibility.	Petri Nets	2013	DBLP DOI BibTeX RDF
15	Hamid Mohammad Gholizadeh, Mohammad Abdollahi Azgomi	An Overview of a New Multi-formalism Modeling Framework.	ICISTM	2009	DBLP DOI BibTeX RDF
15	Laura Kallmeyer, Timm Lichte, Wolfgang Maier 0001, Yannick Parmentier 0001, Johannes Dellert, Kilian Evang	TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering	CoRR	2008	DBLP BibTeX RDF
15	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
15	Dean C. Chatfield, Jack C. Hayya, Terry P. Harrison	A multi-formalism architecture for agent-based, order-centric supply chain simulation.	Simul. Model. Pract. Theory	2007	DBLP DOI BibTeX RDF
15	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
15	Miriam Zia, Ernesto Posse, Hans Vangheluwe	Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation.	ICSOFT (SE)	2007	DBLP BibTeX RDF
15	Elisangela Mieko Kanacilo, Alexander Verbraeck	A distributed multi-formalism simulation to support rail infrastructure control design.	WSC	2005	DBLP DOI BibTeX RDF
15	Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf	Multi-Formalism Modeling Approach for Semiconductor Supply/Demand Networks.	WSC	2004	DBLP BibTeX RDF
15	Nikos S. Voros, Sofia Tsasakou, Alexios N. Birbas, Luis Sánchez, Alejandro Alonso 0001	Application of a multi-formalism co-design methodology for the development of complex telecommunication protocols.	ICECS	1999	DBLP DOI BibTeX RDF
15	Michaël Petit	Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach		1999	RDF
15	Mauro Pezzè, Michal Young	Generation of Multi-Formalism State-Space Analysis Tools.	ISSTA	1996	DBLP DOI BibTeX RDF
15	Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, Patrice Quinton, Laurence Rideau, Frédéric Rousseau 0001, Olivier Sentieys	Towards a multi-formalism framework for architectural synthesis: the ASAR project.	CODES	1994	DBLP DOI BibTeX RDF
15	Edward A. Ipser, David S. Wile, Dean Jacobs	A multi-formalism specification environment.	SDE	1990	DBLP DOI BibTeX RDF
15	Jean-Marie Hullot	A Multi-Formalism Programming Environment.	IFIP Congress	1983	DBLP BibTeX RDF
11	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-driven assessment of system dependability.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Reliability, Dependability, Requirements, Safety, Use cases
11	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-Driven Assessment of Use Cases for Dependable Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
11	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke	Modeling Dynamic Architectures Using Nets-Within-Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
10	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
6	Mamadou K. Traoré	Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation.	WSC	2003	DBLP DOI BibTeX RDF
6	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
6	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