| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige |
KAOS-β: A Goal-oriented Process Model for EIS.  |
MSVVEIS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luis Eduardo Mendoza, Manuel I. Capel, María A. Pérez |
Compositional Verification of Business Processes by Model-Checking. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Oana Otilia Prisecaru |
The Analysis of Resource Constrained Workflows using Petri Nets. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mihnea Scafes, Costin Badica |
Framework for Performance Evaluation of Service Negotiations in Agent Systems. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Moritz Balz, Michael Goedicke |
Towards Domain-specific Modeling for Java Enterprise Applications. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marianne Huchard |
On Some Complementary Trends in Model Transformation Generation. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ammar Mohammed, Ulrich Furbach |
Extending CTL to Specify Quantitative Temporal Requirements. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Juan Garbajosa Sopeña, Manuel I. Capel Tuñón (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, In conjunction with ICEIS 2010, Funchal, Madeira, Portugal, June 2010 |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pedro Pablo Alarcón, Jennifer Pérez, Agustín Yagüe, David Musat |
Definition of Domain Specific Operation Languages Following MDD. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lawrence Cabac, Kolja Markwardt |
Modeling the System Organization of Multi-Agent Systems in Early Design Stages with Coarse Design Diagrams. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephan Gradl, André Bögelsack, Holger Wittges, Helmut Krcmar |
Layered Queuing Networks for Simulating Enterprise Resource Planning Systems. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | René Börner, Matthias Goeken |
Methods for Service Identification: A Criteria-based Literature Review. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kolja Markwardt, Lawrence Cabac, Christine Reese |
A Process-Oriented Tool-Platform for Distributed Development. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi |
An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Sven Tackenberg, Sebastian Schneider |
Multi Project Organization Optimization using Genetic Algorithm. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mihnea Scafes, Costin Badica |
Preliminary Design of an Agent-based System for Human Collaboration in Chemical Incidents Response. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Satish Mahadevan Srinivasan, Mansour Zand |
Making Use Case Slices Manage Variability in Aspect-based Product Line. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cyrille Dongmo, John Andrew van der Poll |
Use Case Maps as an Aid in the Construction of a Formal Specification. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009 |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lawrence Cabac, Kolja Markwardt, Jan Schlüter |
ImageNetDiff: Finding Differences in Models. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tomasz Walkowiak, Katarzyna Michalska |
Information Systems Configuration Analysis using Event-driven Computer Simulation. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | José Francisco Zelasco, Judith Donayo |
Database Integrity in Integrated Systems. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ammar Mohammed, Ulrich Furbach |
From Reactive to Deliberative Multi-agent Planning. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Agustín Yagüe, Juan Garbajosa |
The Role of Testing in Agile and Conventional Methodologies. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahlem Ben Younes, Leila Jemni Ben Ayed |
Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Oana Otilia Prisecaru |
A Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows with Dynamic Structure. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Lotfi Majdoub, Riadh Robbana |
Test Cases Generation for Nondeterministic Duration Systems. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Antonio Linares |
Using SCADE for Decision Support in Dam Management. |
MSVVEIS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ammar Mohammed, Ulrich Furbach |
Modeling Multi-agent Logistic Process System using Hybrid Automata. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Liam Peyton, Bo Zhan, Bernard Stepien |
A Case Study in Integrated Quality Assurance for Performance Management Systems. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jesús Martínez, Cristóbal Jiménez |
Software Model Checking for Internet Protocols with Java PathFinder. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Amelia Badica, Costin Badica |
Formal Specification of Matchmakers, Front-agents, and Brokers in Agent Environments using FSP. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Kenro Yatake, Takuya Katayama |
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Oana Otilia Prisecaru |
A Petri Net based Approach to Modelling Resource Constrained Interorganizational Workflows. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thierry Nicola, Ulrich Ultes-Nitsche |
Weakly Continuation Closed Homomorphisms on Automata. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Wester-Ebbinghaus, Daniel Moldt |
Modelling Multi-Agent Systems with Organizations in Mind. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche |
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Leila Jemni Ben Ayed, Fatma Siala |
An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lawrence Cabac, Ragna Dirkner, Daniel Moldt |
Modeling with Service Dependency Diagrams. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hongming Liu, Xiaoping Jia, Lizhang Qin, Adam Steele |
A Model Transformation Framework for Model Driven Engineering. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008 |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Vincent Chapurlat |
Verification, Validation, Qualification, Certification and Enterprise Modelling: Requirements, Statements and Opportunities. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | André Bögelsack, Holger Jehle, Holger Wittges, Jörg Schmidl, Helmut Krcmar |
An Approach to Simulate Enterprise Resource Planning Systems. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sérgio Agostinho, Pedro Guerreiro, Hugo Taborda |
An Aspect for Design by Contract in Java. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lorena Chavarría-Báez, Xiaoou Li |
Active Database System Realized by a Petri Net Approach. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | George Eleftherakis, Ognen Paunovski |
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Linda Terlouw |
Comparing Methodologies for Service-Orientation using the Generic System Development Process. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mårten Simonsson, Robert Lagerström, Pontus Johnson |
The Linear Conditional Probability Matrix Generator for IT Governance Performance Prediction. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | María Victoria Cengarle |
Approaches to an All-encompassing Formal Semantics for the UML. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Viara Popova, Alexei Sharpanskykh |
Formal Goal-based Modeling of Organizations. |
MSVVEIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Extending CADP for Analyzing C Code. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Kausch, Morten Grandt, Christopher M. Schlick |
Support of Project Planning in Chemical Engineering via Modeling and Simulation. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joseph Barjis, Matt Hall |
A Healthcare Center Simulation using Arena. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Oana Otilia Prisecaru |
Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paul S. Steyn, John A. van der Poll |
Validating Reasoning Heuristics Using Next-Generation Theorem-Provers. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bing Li, Junichi Iijima |
Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Irina Rychkova, Alain Wegmann |
Formal Semantics for Property-Property Relations in SEAM Visual Language: Towards Simulation and Analysis of Visual Specifications. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Carlos Augusto, Joseph Barjis, Ulrich Ultes-Nitsche (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007 |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Murali Mohan Narasipuram |
Process-centric Modelling for Enterprise Information Systems. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ivo Raedts, Marija Petkovic, Yaroslav S. Usenko, Jan Martijn E. M. van der Werf, Jan Friso Groote, Lou J. Somers |
Transformation of BPMN Models for Behaviour Analysis. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joseph Barjis |
An Innovative Method for Business Process Modeling. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Djamel Benmerzoug, Mahmoud Boufaïda, Fabrice Kordon |
A Specification and Validation Approach for Business Process Integration based on Web Services and Agents. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Volker Gruhn, Ralf Laue 0001 |
Checking Properties of Business Process Models with Logic Programming. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Srini Ramaswamy |
The Pervasive Role of Modeling and Simulation in a Globalized Business Economy. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nasreddine Aoumeur, Gunter Saake |
UML-driven Information Systems and their Formal Integration Validation and Distribution. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrew Dingwall-Smith, Anthony Finkelstein |
Checking Complex Compositions of Web Services Against Policy Constraints. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Viara Popova, Alexei Sharpanskykh |
Process-oriented Organization Modeling and Analysis. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nirmal Gami, Boleslaw Mikolajczak |
Consistency of Loosely Coupled Inter-organizational Workflows with Multilevel Security Features. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wade M. Poole, Srinivasan Ramaswamy |
Business Process Modeling Using an Interactive Framework for Immersive Research, Support and Training (I-FIRST). |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Pedro Branco 0003 |
Network Enterprise Systems Safety and the Market Pressure - The Paradigm. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luis Fernando Medina Cardona |
Using Ethnographic Techniques to Describe Requirements Engineering Processes in Geographic Information Systems Workgroups. |
MSVVEIS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Al-Ghamdi, José Luiz Fiadeiro |
Architectural Handling of Management Concerns in Service-Driven Business Processes. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | José Diego De la Cruz, Lam-Son Lê, Alain Wegmann |
Validation of Visual Contracts for Services. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Towards Model Checking C Code with OPEN/CÆSAR. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Benoît Fraikin, Marc Frappier |
Efficient Interpretation of Large Quantifications in a Process Algebra. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel Moldt |
PAOSE: A Way to Develop Distributed Software Systems Based on Petri Nets and Agents. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Razika Driouche, Zizette Boufaïda 0001, Fabrice Kordon |
An Ontology Based Architecture for Integrating Enterprise Applications. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lotfi Majdoub, Riadh Robbana |
Test Purpose of Duration Systems. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Barjis, Bryan D. MacDonald |
Animated Simulation for Business Process Improvement. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Pablo Núñez, Ernesto Pimentel 0001 |
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales |
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve |
Modelling History-Dependent Business Processes. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel |
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Volker Gruhn, Ralf Laue 0001 |
How Style Checking Can Improve Business Process Models. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Barjis, Han Reichgelt |
A Petri Net Based Methodology for Business Process Modeling and Simulation. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ioanna E. Manataki, Kostas Zografos |
A System Dynamics Approach for Airport Terminal Performance Evaluation. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Josko Dvornik, Eno Tireli |
Simulation Modelling Performance Dynamics of Ship Gas Turbine at the Load of the Ship's Synchronous Generator. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Salvis Dagis, Sergejs Arhipovs |
The Static Model of Latvian Forest Management Planning and Capital Value Estimation. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Inita Sile, Sergejs Arhipovs |
The Development of the Precedent Model for the Latvia Forest Management Planning Processes. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche |
Testing of Semantic Properties in XML Documents. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pavel Vasilyev |
Simulator for Real-Time Abstract State Machines. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Vincent Chapurlat, Saber Aloui |
How to Detect Risks with a Formal Approach? From Property Specification to Risk Emergence. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Joseph Barjis, Ulrich Ultes-Nitsche, Juan Carlos Augusto (eds.) |
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006 |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Frank Nießner |
Specification of Deterministic Regular Liveness Properties. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kais Klai, Samir Tata, Issam Chebbi |
An Observation-based Algorithm for Workflow Matching. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alta van der Merwe, Paula Kotzé, Johannes C. Cronjé |
The Usefulness of a Generic Process Model Structure. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Aurona Gerber, Andries Barnard, Alta van der Merwe |
Design and Evaluation Criteria for Layered Architectures. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez |
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case. |
MSVVEIS |
2005 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license