Search results for "CO-OPN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
129	Paul Gratz, Karthikeyan Sankaralingam, Heather Hanson, Premkishore Shivakumar, Robert G. McDonald, Stephen W. Keckler, Doug Burger	Implementation and Evaluation of a Dynamically Routed Processor Operand Network.	NOCS	2007	DBLP DOI BibTeX RDF
129	Frantisek Capkovic	The Generalised Method for Solving Problems of the DEDS Control Synthesis.	IEA/AIE	2003	DBLP DOI BibTeX RDF
92	Stanislav Chachkov, Didier Buchs	From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.	ACSD	2001	DBLP DOI BibTeX RDF
92	Didier Buchs, Nicolas Guelfi	A Formal Specification Framework for Object-Oriented Distributed Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	algebraic Petri nets, distributed systems, Formal specifications, concurrency, object-orientation, refinement, algebraic specifications, subtyping
92	Didier Buchs, Nicolas Guelfi	Formal Development of Actor Programs Using Structured Algebraic Petri Nets.	PARLE	1993	DBLP DOI BibTeX RDF	Formal program development, actor languages semantics, algebraic abstract data types, high-level Petri nets, modular specification
88	Didier Buchs, Stanislav Chachkov, David Hurzeler	Modelling a Secure, Mobile, and Transactional System with CO-OPN.	ACSD	2003	DBLP DOI BibTeX RDF
74	Didier Buchs, Luis Pedro, Levi Lucio	Formal Test Generation from UML Models.	Research Results of the DICS Program	2006	DBLP DOI BibTeX RDF
70	Levi Lucio, Luis Pedro, Didier Buchs	A Test Language for CO-OPN Specifications.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
70	O. Biberstein, Didier Buchs, Nicolas Guelfi	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
69	Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi	Real-Time Synchronised Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	CO-OPN, inhibitor arcs, real-time, Petri nets
68	LiGuo Huang, Barry W. Boehm, Hao Hu 0001, JiDong Ge, Jian Lü 0001, Cheng Qian	Applying the Value/Petri process to ERP software development in China.	ICSE	2006	DBLP DOI BibTeX RDF	object petri nets (OPN), software process formalization, software quality, cost, ROI, value, software process simulation
55	Luis Pedro, Levi Lucio, Didier Buchs	Principles for System Prototype and Verification Using Metamodel Based Transformations.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
55	Berndt Farwer, Michael Leuschel	Model checking object petri nets in prolog.	PPDP	2004	DBLP DOI BibTeX RDF	model checking, compilation, animation, prolog, object petri nets
55	Stanislav Chachkov, Didier Buchs	From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
51	Min-Ki Noh, Joon-Min Gil, Ki-Sung Yu, Seong-Jin Ahn 0001	A Study on L2/OPN Design for Grid High Performance Network.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
50	Didier Buchs, C. Buffard, Pascal Racloz	Modeling and Validation of Tasks with Algebraic Structured Nets.	Ada-Europe	1995	DBLP DOI BibTeX RDF	protected type, CO-OPN, Petri net, Ada, concurrency, abstract data type, task
37	Ken-ichiro Miura, Lance M. Optican	Membrane channel properties of premotor excitatory burst neurons may underlie saccade slowing after lesions of omnipause neurons.	J. Comput. Neurosci.	2006	DBLP DOI BibTeX RDF	Hodgkin-Huxley, raphe interpositus nucleus, NMDA receptors, glycine, glutamate, model, eye movements, saccades, RIP
37	Charles Lakos	Object Oriented Modeling with Object Petri Nets.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
33	Zhixiang Xiao, Mingming Lu, Wenyong He, Jiawen Cai, Neal N. Xiong	OPN-DTSP: Optimized Pointer Networks for Approximate Solution of Dynamic Traveling Salesman Problem.	SmartCom	2021	DBLP DOI BibTeX RDF
33	Krystian Lapa, Krzysztof Cpalka, Adam Slowik	Population Management Approaches in the OPn Algorithm.	ICAISC (1)	2021	DBLP DOI BibTeX RDF
33	Harshvardhan J. Pandit, Mark Lizar	OPN: Open Notice Receipt Schema.	SEMANTiCS (Posters & Demos)	2019	DBLP BibTeX RDF
33	Salah Hammami, Hassan Mathkour	Adaptive e-learning system based on agents and object petri nets (AELS-A/OPN).	Comput. Appl. Eng. Educ.	2015	DBLP DOI BibTeX RDF
33	Lynda Dib, Fouad Bousetouane	OPN-Ont: Object Petri Nets Ontology Tool.	SIMULTECH	2012	DBLP BibTeX RDF
33	David Hurzeler	Network Structure and Traffic Modeling and Simulation with CO-OPN.	RISE	2005	DBLP DOI BibTeX RDF
33	Girish Venkataramani, Walid A. Najjar, Fadi J. Kurdahi, Nader Bagherzadeh, A. P. Wim Böhm, Jeffrey Hammes	Automatic compilation to a coarse-grained reconfigurable system-opn-chip.	ACM Trans. Embed. Comput. Syst.	2003	DBLP DOI BibTeX RDF	compilers, Reconfigurable computing, SIMD
33	Didier Buchs, Jacques Flumet, Pascal Racloz	Producing prototypes from CO-OPN specifications.	RSP	1992	DBLP DOI BibTeX RDF
18	Alice R. Malisia	Improving the Exploration Ability of Ant-Based Algorithms.	Oppositional Concepts in Computational Intelligence	2008	DBLP DOI BibTeX RDF
18	Reng Yin, Hao Hu 0001, JiDong Ge, Jian Lu 0001	Quantitative Analysis of Value-Based Software Processes Using Decision-Based Stochastic Object Petri-Nets.	APSEC	2007	DBLP DOI BibTeX RDF
18	Hua Xu, Peifa Jia	Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis.	RSKT	2006	DBLP DOI BibTeX RDF	Petri nets, Object-oriented methods, temporal knowledge
18	Mixia Liu, Qiuyu Zhang, Dongmei Yu, Zhao Hong	Formal security model research based on Petri-net.	GrC	2005	DBLP DOI BibTeX RDF
18	Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler	Prototyping Object Oriented Specifications.	ICATPN	2003	DBLP DOI BibTeX RDF
18	Stanislav Chachkov, Didier Buchs	Interfacing Software Libraries from Non-deterministic Prototypes.	IEEE International Workshop on Rapid System Prototyping	2002	DBLP DOI BibTeX RDF
18	Didier Buchs, Mathieu Buffo	Rapid Prototyping of Formally Modelled Distributed Systems.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF
18	Giovanna Di Marzo Serugendo, Nicolas Guelfi, Alexander B. Romanovsky, Avelino F. Zorzo	Formal Development and Validation of Java Dependable Distributed Systems.	ICECCS	1999	DBLP DOI BibTeX RDF	Structuring Complex Concurrent Systems, CO_OPN/2, Formal Development Stepwise Refinement, Design for Validation, CA Actions
18	Giovanna Di Marzo Serugendo, Nicolas Guelfi	Using Object-Oriented Algebraic Nets for the Reverse Engineering of Java Programs: A Case Study.	ACSD	1998	DBLP DOI BibTeX RDF	Concurrent and Distributed Systems, Java, Petri Nets, Reverse Engineering, Algebraic Specifications, Property Verification
18	Stéphane Barbey, Didier Buchs, Cécile Péraire	A Theory of Specification-Based Testing for Object-Oriented Software.	EDCC	1996	DBLP DOI BibTeX RDF	black-box testing strategy, testing, formal methods, object-orientation, validation and verification, test and evaluation