|
|
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 |
69 | Juan de Lara, Hans Vangheluwe |
AToM3: A Tool for Multi-formalism and Meta-modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 174-188, 2002, Springer, 3-540-43353-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(1), pp. 68-81, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 505-512, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 2010, 18th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Miami, Florida, USA, August 17-19, 2010, pp. 413-416, 2010, IEEE Computer Society, 978-0-7695-4197-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 161-168, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 228-230, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997., pp. 239-249, 1997, ACM, 0-89791-914-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 597-605, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Antoine Defontaine, Alfredo I. Hernández, Guy Carrault |
Multi-formalism Modelling of Cardiac Tissue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings, pp. 394-403, 2005, Springer, 3-540-26161-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Juan de Lara, Gabriele Taentzer |
Automated Model Transformation and Its Validation Using AToM 3 and AGG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 182-198, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007, pp. 51, 2007, ICST/ACM, 978-963-9799-00-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformation, First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings, pp. 239-253, 2002, Springer, 3-540-44310-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 343-352, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 318-327, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, pp. 247-258, 2007, Springer, 978-3-540-69069-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing, State of the Art in Scientific Computing, 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004, Revised Selected Papers, pp. 499-508, 2004, Springer, 3-540-29067-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 595-603, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Graham Clark, William H. Sanders |
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAPM-PROBMIV ![In: Process Algebra and Probabilistic Methods, Performance Modeling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001, Proceedings, pp. 200-216, 2001, Springer, 3-540-42556-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Hessam S. Sarjoughian, Dongping Huang |
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 10-12 October 2005, Montreal, Canada, pp. 249-256, 2005, IEEE Computer Society, 0-7695-2462-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009, Aveiro, Portugal, October 12-15, 2009. Proceedings, pp. 449-460, 2009, Springer, 978-3-642-04685-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers, pp. 252-262, 2006, Springer, 978-3-540-69488-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(3), pp. 194-209, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 4-7 December 2001, Macau, China, pp. 299-, 2001, IEEE Computer Society, 0-7695-1408-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 12th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2004), 11-13 February 2004, A Coruna, Spain, pp. 134-, 2004, IEEE Computer Society, 0-7695-2083-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 32, pp. 83-98, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 257-258, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | William H. Sanders |
Integrated frameworks for multi-level and multi-formalism modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 2-9, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 659-668, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 15-19 April 2002, Fort Lauderdale, FL, USA, CD-ROM/Abstracts Proceedings, 2002, IEEE Computer Society, 0-7695-1573-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021, pp. 463-470, 2021, IEEE, 978-1-6654-3572-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings, pp. 230-249, 2021, Springer, 978-3-030-76982-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rudi Stouffs |
A Multi-formalism Shape Grammar Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAD Futures ![In: Computer-Aided Architectural Design. Design Imperatives: The Future is Now - 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021, Selected Papers, pp. 268-287, 2021, Springer, 978-981-19-1279-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Enrico Barbierato, Marco Gribaudo, Giuseppe Serazzi |
Multi-formalism Models for Performance Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Internet ![In: Future Internet 12(3), pp. 50, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(3), pp. 2241-2264, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
15 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono |
Simulating Hybrid Systems Within SIMTHESys Multi-formalism Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings, pp. 189-203, 2016, Springer, 978-3-319-46432-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: 30th European Conference on Modelling and Simulation, ECMS 2016, Regensburg, Germany, May 31 - June 3, 2016, Proceedings., pp. 628-634, 2016, European Council for Modeling and Simulation, 978-0-9932440-2-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Alexander H. Levis |
Multi-formalism modeling for the enterprise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Knowl. Syst. Manag. ![In: Inf. Knowl. Syst. Manag. 12(3-4), pp. 183-185, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015, pp. 90-95, 2015, IEEE, 978-1-5090-0237-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: Annual IEEE Systems Conference, SysCon 2015, Proceedings, Vancouver, BC, Canada, April 13-16, 2015, pp. 200-205, 2015, IEEE, 978-1-4799-5927-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Alexander H. Levis |
Multi-Formalism Modeling Of Human Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: 29th European Conference on Modelling and Simulation, ECMS 2015, Albena (Varna), Bulgaria, May 26-29, 2015. Proceedings., pp. 19-31, 2015, European Council for Modeling and Simulation, 978-0-9932440-0-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 19th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2015, Chengdu, China, October 14-16, 2015, pp. 92-95, 2015, IEEE Computer Society, 978-1-4673-7822-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Enrico Barbierato, Marco Gribaudo, Mauro Iacono |
Performance evaluation of NoSQL big-data applications using multi-formalism models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 37, pp. 345-353, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 72(1), pp. 77-99, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alexander H. Levis, Bahram Yousefi |
Multi-Formalism Modeling For Evaluating The Effect Of Cyber Exploits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: 28th European Conference on Modelling and Simulation, ECMS 2014, Brescia, Italy, May 27-30, 2014, pp. 541-547, 2014, European Council for Modeling and Simulation, 978-0-9564944-8-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Michael Westergaard |
CPN Tools 4: Multi-formalism and Extensibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings, pp. 400-409, 2013, Springer, 978-3-642-38696-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Hamid Mohammad Gholizadeh, Mohammad Abdollahi Azgomi |
An Overview of a New Multi-formalism Modeling Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISTM ![In: Information Systems, Technology and Management - Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings, pp. 360-361, 2009, Springer, 978-3-642-00404-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0807.3622, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Sagar Sen, Benoit Baudry, Jean-Marie Mottu |
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 328-337, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 15(2), pp. 153-174, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 207-213, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOFT (SE) ![In: ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007, pp. 129-137, 2007, INSTICC Press, 978-989-8111-06-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Elisangela Mieko Kanacilo, Alexander Verbraeck |
A distributed multi-formalism simulation to support rail infrastructure control design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 37th Winter Simulation Conference, Orlando, FL, USA, December 4-7, 2005, pp. 2546-2553, 2005, IEEE Computer Society, 0-7803-9519-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Gary W. Godding, Hessam S. Sarjoughian, Karl G. Kempf |
Multi-Formalism Modeling Approach for Semiconductor Supply/Demand Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 36th conference on Winter simulation, Washington, DC, USA, December 5-8, 2004, pp. 232-239, 2004, IEEE Computer Society, 0-7803-8786-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 6th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1999, Pafos, Cyprus, September 5-8, 1999, pp. 55-58, 1999, IEEE, 0-7803-5682-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Michaël Petit |
Formal requirements engineering of manufacturing systems: a multi-formalism and component-based approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
15 | Mauro Pezzè, Michal Young |
Generation of Multi-Formalism State-Space Analysis Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1996 International Symposium on Software Testing and Analysis, ISSTA 1996, San Diego, CA, USA, January 8-10, 1996, pp. 172-179, 1996, ACM, 0-89791-787-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Third International Workshop on Hardware/Software Codesign, CODES 1994, Grenoble, France, September 22-24, 1994, pp. 25-32, 1994, IEEE Computer Society, 0-8186-6315-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Edward A. Ipser, David S. Wile, Dean Jacobs |
A multi-formalism specification environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDE ![In: SIGSOFT'90 4th Symposium on Software Development Environments, Irvine, CA, USA, December 3-5, 1990, pp. 94-106, 1990, ACM, 0-89791-418-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Marie Hullot |
A Multi-Formalism Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing 83, Proceedings of the IFIP 9th World Computer Congress, Paris, France, September 19-23, 1983, pp. 223-227, 1983, North-Holland/IFIP, 0-444-86729-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
11 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-driven assessment of system dependability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 7(4), pp. 487-502, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 558-573, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke |
Modeling Dynamic Architectures Using Nets-Within-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 148-167, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Vincent Hilaire, Abder Koukam, Pablo Gruer, Jean-Pierre Müller |
Formal Specification and Prototyping of Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agent World, First International Workshop, ESAW 2000, Berlin, Germany, August 21, 2000, Revised Papers, pp. 114-127, 2000, Springer, 3-540-41477-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 604-612, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance Evaluation / TOOLS ![In: Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings, pp. 233-238, 2002, Springer, 3-540-43539-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
B ![In: B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, pp. 273-292, 1998, Springer, 3-540-64405-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #67 of 67 (100 per page; Change: )
|
|