The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase multi-formalism (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-2002 (18) 2003-2006 (16) 2007-2010 (15) 2013-2020 (15) 2021 (3)
Publication types (Num. hits)
article(12) inproceedings(53) phdthesis(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 56 occurrences of 46 keywords

Results
Found 67 publication records. Showing 67 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
69Juan de Lara, Hans Vangheluwe AToM3: A Tool for Multi-formalism and Meta-modelling. Search on Bibsonomy FASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation
64Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis The OsMoSys approach to multi-formalism modeling of systems. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
37Thomas Huining Feng, Miriam Zia, Hans Vangheluwe Multi-formalism modelling and model transformation for the design of reactive systems. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
37Mauro Iacono, Marco Gribaudo Element Based Semantics in Multi Formalism Performance Models. Search on Bibsonomy MASCOTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multi-formalism models, performance evaluation, modelling tools
37Gary R. Mayer, Hessam S. Sarjoughian Complexities of simulating a hybrid agent-landscape model using multi-formalism composability. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF poly-formalism, agents, cellular automata, multi-modeling, multi-formalism
37Sophie Dupuy, Lydie du Bousquet A Multi-formalism Approach for the Validation of UML Models. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism
37Mauro Pezzè, Michal Young Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models. Search on Bibsonomy ICSE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF multi-formalism analysis, Ada, concurrency, heterogeneity, state-space analysis
33Hans Vangheluwe, Juan de Lara XML-based modeling and simulation: meta-models are models too. Search on Bibsonomy WSC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
32Antoine Defontaine, Alfredo I. Hernández, Guy Carrault Multi-formalism Modelling of Cardiac Tissue. Search on Bibsonomy FIMH The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Juan de Lara, Gabriele Taentzer Automated Model Transformation and Its Validation Using AToM 3 and AGG. Search on Bibsonomy Diagrams The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Multi-Formalism Modelling, Meta-Modelling, Graph Transformation
29Francesco Moscato 0001, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone 0001, Mauro Iacono The software architecture of the OsMoSys multisolution framework. Search on Bibsonomy VALUETOOLS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multiformalism, multisolution, system modeling, orchestration
28Juan de Lara, Hans Vangheluwe Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
28Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. Search on Bibsonomy Petri Nets The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Stochastic discrete-event systems, SDES description, PDETool, Petri nets
26Frédéric Boulanger, Cécile Hardebolle Simulation of Multi-Formalism Models with ModHel'X. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Simulation, Model of computation, Heterogeneous modeling
26Cécile Hardebolle, Frédéric Boulanger ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Mauro Iacono, Stefano Marrone 0001, Nicola Mazzocca, Francesco Moscato 0001, Valeria Vittorini A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach. Search on Bibsonomy PARA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Hans Vangheluwe, Juan de Lara Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Graham Clark, William H. Sanders Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Hessam S. Sarjoughian, Dongping Huang A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models. Search on Bibsonomy DS-RT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Richárd Oliver Legéndi, László Gulyás, Rajmund Bocsi, Tamás Máhr Modeling Autonomous Adaptive Agents with Functional Language for Simulations. Search on Bibsonomy EPIA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF El Farol Bar problem, Functional programming, agent-based simulations, multi-formalism
21Holger Giese, Tihamer Levendovszky, Hans Vangheluwe Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Multi-Paradgim Modeling, Modeling, Meta-modeling, Multi-Formalism
21Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001 Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
21Gwen Salaün, Michel Allemand, J. Christian Attiogbé Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Multi-formalism Specifications, Generic Combination, Algebraic Specification Language, Process Algebra, Operational Semantics
18Francesco Moscato 0001, Nicola Mazzocca, Valeria Vittorini Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. Search on Bibsonomy PDP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Mahamadou Belem, Jean-Pierre Müller An organizational model for multi-scale and multi-formalism simulation: Application in carbon dynamics simulation in West-African Savanna. Search on Bibsonomy Simul. Model. Pract. Theory The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
17Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. Search on Bibsonomy QEST The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17William H. Sanders Integrated frameworks for multi-level and multi-formalism modeling. Search on Bibsonomy PNPM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini Repairable Fault Tree for the Automatic Evaluation of Repair Policies. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Gwen Salaün, Michel Allemand, J. Christian Attiogbé Specification of an Access Control System with a Formalism Combining CCS and CASL. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Shahid Khan 0002, Matthias Volk 0001, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou Model Checking the Multi-Formalism Language FIGARO. Search on Bibsonomy DSN The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Michael Haustermann, David Mosteller, Daniel Moldt Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets. Search on Bibsonomy Petri Nets The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Rudi Stouffs A Multi-formalism Shape Grammar Interpreter. Search on Bibsonomy CAAD Futures The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
15Enrico Barbierato, Marco Gribaudo, Giuseppe Serazzi Multi-formalism Models for Performance Engineering. Search on Bibsonomy Future Internet The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
15Simona 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. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
15Fabíola Gonçalves C. Ribeiro Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems. Search on Bibsonomy 2019   RDF
15Enrico Barbierato, Marco Gribaudo, Mauro Iacono Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models. Search on Bibsonomy EPEW The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Giuseppe Cicala, Marco De Luca, Marco Oreggia, Armando Tacchella A Multi-Formalism Framework To Generate Diagnostic Decision Support Systems. Search on Bibsonomy ECMS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
15Alexander H. Levis Multi-formalism modeling for the enterprise. Search on Bibsonomy Inf. Knowl. Syst. Manag. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Michael 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. Search on Bibsonomy MEMOCODE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Jean-Philippe Schneider, Joël Champeau, Ciprian Teodorov, Eric Senn, Loïc Lagadec A role language to interpret multi-formalism System of systems models. Search on Bibsonomy SysCon The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Alexander H. Levis Multi-Formalism Modeling Of Human Organizations. Search on Bibsonomy ECMS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Xiaobo Li 0003, Weiping Wang 0002, Ning Zhu, Hua He, Yonglin Lei A State-Centered Multi-formalism Behavioral Modeling Method for Combat System Effectiveness Simulation. Search on Bibsonomy DS-RT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
15Enrico Barbierato, Marco Gribaudo, Mauro Iacono Performance evaluation of NoSQL big-data applications using multi-formalism models. Search on Bibsonomy Future Gener. Comput. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Célia Martinie, David Navarre, Philippe A. Palanque A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. Search on Bibsonomy Int. J. Hum. Comput. Stud. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Alexander H. Levis, Bahram Yousefi Multi-Formalism Modeling For Evaluating The Effect Of Cyber Exploits. Search on Bibsonomy ECMS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
15Michael Westergaard CPN Tools 4: Multi-formalism and Extensibility. Search on Bibsonomy Petri Nets The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Hamid Mohammad Gholizadeh, Mohammad Abdollahi Azgomi An Overview of a New Multi-formalism Modeling Framework. Search on Bibsonomy ICISTM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
15Laura Kallmeyer, Timm Lichte, Wolfgang Maier 0001, Yannick Parmentier 0001, Johannes Dellert, Kilian Evang TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
15Sagar Sen, Benoit Baudry, Jean-Marie Mottu On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cartier, model tranformation, testing, alloy
15Dean C. Chatfield, Jack C. Hayya, Terry P. Harrison A multi-formalism architecture for agent-based, order-centric supply chain simulation. Search on Bibsonomy Simul. Model. Pract. Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
15Hernán P. Dacharry, Norbert Giambiasi Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. Search on Bibsonomy SpringSim (2) The full citation details ... 2007 DBLP  BibTeX  RDF DEVS modeling methodology, multi-formalisms approach, discrete event modeling
15Miriam Zia, Ernesto Posse, Hans Vangheluwe Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation. Search on Bibsonomy ICSOFT (SE) The full citation details ... 2007 DBLP  BibTeX  RDF
15Elisangela Mieko Kanacilo, Alexander Verbraeck A distributed multi-formalism simulation to support rail infrastructure control design. Search on Bibsonomy WSC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf Multi-Formalism Modeling Approach for Semiconductor Supply/Demand Networks. Search on Bibsonomy WSC The full citation details ... 2004 DBLP  BibTeX  RDF
15Nikos 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. Search on Bibsonomy ICECS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
15Michaël Petit Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach Search on Bibsonomy 1999   RDF
15Mauro Pezzè, Michal Young Generation of Multi-Formalism State-Space Analysis Tools. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
15Michel 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. Search on Bibsonomy CODES The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
15Edward A. Ipser, David S. Wile, Dean Jacobs A multi-formalism specification environment. Search on Bibsonomy SDE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
15Jean-Marie Hullot A Multi-Formalism Programming Environment. Search on Bibsonomy IFIP Congress The full citation details ... 1983 DBLP  BibTeX  RDF
11Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe Model-driven assessment of system dependability. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reliability, Dependability, Requirements, Safety, Use cases
11Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe Model-Driven Assessment of Use Cases for Dependable Systems. Search on Bibsonomy MoDELS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
11Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke Modeling Dynamic Architectures Using Nets-Within-Nets. Search on Bibsonomy ICATPN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
10Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller Formal Specification and Prototyping of Multi-agent Systems. Search on Bibsonomy ESAW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Agent, Specification, Prototyping
6Mamadou K. Traoré Foundations of multi-paradigm modeling and simulation: a meta-theoretic approach to modeling and simulation. Search on Bibsonomy WSC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
6Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Model Objects, Performance Analysis Framework, Model composition
6Jacques 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. Search on Bibsonomy B The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #67 of 67 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license