Search results for "Ptolemy-II"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Elaine Cheong, Edward A. Lee, Yang Zhao	Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks.	SenSys	2005	DBLP DOI BibTeX RDF	TOSSIM, visualsense, simulation, wireless sensor networks, modeling, tinyOS, nesC, ptolemy II
105	Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude.	ICFEM	2009	DBLP DOI BibTeX RDF
97	Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao	Modeling of sensor nets in Ptolemy II.	IPSN	2004	DBLP DOI BibTeX RDF	VisualSense, simulation, modeling, wireless networks, discrete-event models, Ptolemy II
81	Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble	Composing Different Models of Computation in Kepler and Ptolemy II.	International Conference on Computational Science (3)	2007	DBLP DOI BibTeX RDF	scientific workflow, Model of computation, Kepler, Ptolemy II
73	Alberto González Téllez, Miguel A. Mateo Pla	Multithreaded Translation of Ptolemy II Designs on Multicore Platforms.	CISIS	2008	DBLP DOI BibTeX RDF
57	Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong	The design and application of structured types in Ptolemy II.	GrC	2005	DBLP DOI BibTeX RDF
57	Edward A. Lee, Yuhong Xiong	A behavioral type system and its application in Ptolemy II.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping
57	Xiaojun Liu 0001, Yuhong Xiong, Edward A. Lee	The Ptolemy II Framework for Visual Languages.	HCC	2001	DBLP DOI BibTeX RDF
48	Leandro Soares Indrusiak, Romualdo Begale Prudencio, Manfred Glesner	Modeling and Prototyping of Communication Systems Using Java: A Case Study.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
40	Jie Liu 0001, Edward A. Lee	A component-based approach to modeling and simulating mixed-signal and hybrid systems.	ACM Trans. Model. Comput. Simul.	2002	DBLP DOI BibTeX RDF	actors-oriented design, hierarchical heterogeneity, mixed-signal systems, simulation, hybrid systems, Component-based modeling, Ptolemy II
32	Man-Kit Leung, Thomas Mandl 0002, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly	Scalable Semantic Annotation Using Lattice-Based Ontologies.	MoDELS	2009	DBLP DOI BibTeX RDF
25	Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong	Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.	APSEC	2022	DBLP DOI BibTeX RDF
25	Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong	Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.	QRS	2022	DBLP DOI BibTeX RDF
25	David A. Manrique Negrin, Loek Cleophas, Mark van den Brand	Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
25	Harald Bucher, Simon Kamm, Jürgen Becker 0001	Cross-Layer Behavioral Modeling and Simulation of E/E-Architectures using PREEvision and Ptolemy II.	Simul. Notes Eur.	2019	DBLP DOI BibTeX RDF
25	Harald Bucher, Jürgen Becker 0001, Simon Kamm	Cross-layer behavioral modeling and simulation of E/E-Architectures using preevision and Ptolemy II.	SummerSim	2019	DBLP BibTeX RDF
25	Zhenbang Nie, Peng Wang 0090, Peng Zeng 0001, Haibin Yu	Modeling industry 4.0 demonstration production line using Ptolemy II.	IECON	2017	DBLP DOI BibTeX RDF
25	Christopher Brooks, Jay Jay Billings	Introducing Triquetrum, A Possible Future for Kepler and Ptolemy II.	ICCS	2016	DBLP DOI BibTeX RDF
25	Cheng Pang, Wenbin William Dai, Valeriy Vyatkin	Towards IEC 61499 models of computation in Ptolemy II.	IECON	2015	DBLP DOI BibTeX RDF
25	Shiwei Ran, Jinzhi Lin, Ying Wu 0006, Jianzhong Zhang 0003, Yuwei Xu	Converting Ptolemy II Models to SpaceEx for Applied Verification.	ICA3PP (1)	2014	DBLP DOI BibTeX RDF
25	Patrick Einzinger	An Actor-oriented Approach to ARGESIM Benchmark C05 'Two State Model' using Berkeley Ptolemy II.	Simul. Notes Eur.	2012	DBLP DOI BibTeX RDF
25	Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis	Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
25	Ying Zhang, Jing Zhang	Modeling and Simulation of Water Fountain Control Software in Ptolemy II.	CSISE (2)	2011	DBLP DOI BibTeX RDF
25	Rishikesan Kamaleswaran, Mike Eklund	A method for interactive hypothesis testing for clinical decision support systems using Ptolemy II.	CCECE	2011	DBLP DOI BibTeX RDF
25	Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Lizhi C. Zhong	The design and application of structured types in Ptolemy II.	Int. J. Intell. Syst.	2010	DBLP DOI BibTeX RDF
25	Christopher X. Brooks, Edward A. Lee, Stavros Tripakis	Exploring models of computation with ptolemy II.	CODES+ISSS	2010	DBLP DOI BibTeX RDF
25	Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Manfred Glesner, Fernando Gehm Moraes, Jari Nurmi	A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II.	SoC	2010	DBLP DOI BibTeX RDF
25	Rishvanth Prabakar, Shekhar Rai, Shreya Kumar, Sudheer Sreedhara Krishna, J. P. Raina	Design and simulation of Optical Frequency Domain reflectometer for short distance fault detection in optical fibers and integrated optical devices using ptolemy-II.	ICUMT	2009	DBLP DOI BibTeX RDF
25	Christopher Spies, Peter Zipf, Manfred Glesner, Harald Klingbeil	Bandwidth Requirement Determination for a Digitally Controlled Cavity Synchronisation in a Heavy Ion Synchrotron Using Ptolemy II.	IEEE International Workshop on Rapid System Prototyping	2008	DBLP DOI BibTeX RDF
25	Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch 0001	Automated distributed simulation in PTOLEMY II.	Parallel and Distributed Computing and Networks	2007	DBLP BibTeX RDF
25	Edward A. Lee, Haiyang Zheng	Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II.	ADHS	2006	DBLP DOI BibTeX RDF
25	Daniel Lázaro Cuadrado, Peter Koch 0001, Anders P. Ravn	AsmL Specification of a Ptolemy II Scheduler.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
25	He Li 0001, Xiaojun Liu 0001, Edward A. Lee	Modeling distributed hybrid systems in Ptolemy II.	ACC	2001	DBLP DOI BibTeX RDF
24	Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch	EWD: A metamodeling driven customizable multi-MoC system modeling framework.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II
24	Sudhir G. Akojwar, Rajendra M. Patrikar	Classification Techniques with Cooperative Routing for Industrial Wireless Sensor Networks.	SCSS (1)	2007	DBLP DOI BibTeX RDF	Visual sence, Clustering, WSN, Neural Network, Classification, DWT, Ptolemy-II
16	Sungung Kim, Hessam S. Sarjoughian, Vignesh Elamvazhuthi	DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring.	SpringSim	2009	DBLP DOI BibTeX RDF	DEVS-suite, DEVSJAVA, simulation monitoring, experimental design, visual complexity
16	Luciano Ost, Guilherme Montez Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp da Rosa, Fernando Moraes 0001	A high abstraction, high accuracy power estimation model for networks-on-chip.	SBCCI	2009	DBLP DOI BibTeX RDF	high abstraction modeling, networks-on-chip, power modeling
16	Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Jari Nurmi, Manfred Glesner, Fernando Moraes 0001	Validation of executable application models mapped onto network-on-chip platforms.	SIES	2008	DBLP DOI BibTeX RDF
16	Leandro Soares Indrusiak, Andreas Thuy, Manfred Glesner	Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns.	DATE	2007	DBLP DOI BibTeX RDF
16	Gang Zhou, Man-Kit Leung, Edward A. Lee	A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.	ICESS	2007	DBLP DOI BibTeX RDF
16	Edward A. Lee, Haiyang Zheng	Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events
16	Juan Jesús Sánchez Sánchez, David Morales-Jiménez, Gerardo Gómez, Eduardo Martos-Naya, Unai Fernández-Plazaola	Wm-sim: a platform for design and simulation of wireless mobile systems.	PM2HW2N	2007	DBLP DOI BibTeX RDF	simulator, performance, framework, wireless, platform, LTE
16	Zhigang Gao, Zhaohui Wu 0001, Ruizhi Ye, Long Yue	A Model-Based Development Method for SmartOSEK OS.	CIT	2005	DBLP DOI BibTeX RDF
16	Diego Fernando Jimenez Orostegui, Leandro Soares Indrusiak, Manfred Glesner	Proxy-Based Integration of Reconfigurable Hardware Within Simulation Environments: Improving E-Learning Experience in Microelectronics.	MSE	2005	DBLP DOI BibTeX RDF
16	Thomas Martin 0001, Mark T. Jones, Joshua Nathaniel Edmison, Tanwir Sheikh, Zahi Nakad	Modeling and simulating electronic textile applications.	LCTES	2004	DBLP DOI BibTeX RDF	smart fabrics, context awareness, wearable computing, electronic textiles
16	Edward A. Lee, Stephen Neuendorffer	Classes and subclasses in actor-oriented design.	MEMOCODE	2004	DBLP DOI BibTeX RDF
16	Zude Zhou, Cheng Xu 0001, ChunQing Ling, Renfa Li	An optimization design and simulation of Ptolemy-based motor speed control.	ICARCV	2004	DBLP DOI BibTeX RDF
16	Thomas Martin 0001, Mark T. Jones, Joshua Nathaniel Edmison, Ravi Shenoy	Towards a design framework for wearable electronic textiles.	ISWC	2003	DBLP DOI BibTeX RDF
16	Edward A. Lee, Yuhong Xiong	System-Level Types for Component-Based Design.	EMSOFT	2001	DBLP DOI BibTeX RDF
16	Yuhong Xiong, Edward A. Lee	An Extensible Type System for Component-Based Design.	TACAS	2000	DBLP DOI BibTeX RDF