|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 54 occurrences of 42 keywords
|
|
|
Results
Found 50 publication records. Showing 50 according to the selection in the facets
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 |
|
Displaying result #1 - #50 of 50 (100 per page; Change: )
|
|