Ákos Lédeczi

Hamid Zare

Gordon Stein

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Teaching Cybersecurity with Networked Robots.

[BibT_eX]

[DOI]

Gautam Biswas

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Integrating Computational Modeling in K-12 STEM Classrooms.

[BibT_eX]

[DOI]

Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019

Animal-Borne Acoustic Gunshot Detector.

[BibT_eX]

[DOI]

György Kalmár

George Wittemyer

Henrik Barner Rasmussen

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Animal-Borne Anti-Poaching System.

[BibT_eX]

[DOI]

György Kalmár

George Wittemyer

Henrik Barner Rasmussen

Stephanie L. Weeden-Wright

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

2018

A visual programming environment for introducing distributed computing to secondary education.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

A Design-Based Approach to a Classroom-Centered OELE.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 19th International Conference, 2018

2017

Lessons Learned in the Design and Delivery of an Introductory Programming MOOC.

[BibT_eX]

[DOI]

J. Michael Fitzpatrick

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

A Visual Programming Environment for Learning Distributed Programming.

[BibT_eX]

[DOI]

Chris Vanags

Joshua D. Swartz

Melvin Lu

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Bringing Real-Time Collaboration to Visual Programming (Abstract Only).

[BibT_eX]

[DOI]

Brian Broll

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Distributed Programming with NetsBlox is a Snap! (Abstract Only).

[BibT_eX]

[DOI]

Brian Broll

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, 2017

Introducing Parallel and Distributed Computing to K12.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

2016

Abstractions for Modeling Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

A hough transform based approach to acoustic shot localization.

[BibT_eX]

[DOI]

Yifu Luo

Proceedings of the 19th International Conference on Information Fusion, 2016

2015

Systematic Design of Medical Capsule Robots.

[BibT_eX]

[DOI]

IEEE Des. Test, 2015

Extensible visual constraint language.

[BibT_eX]

[DOI]

Brian Broll

Proceedings of the Workshop on Domain-Specific Modeling, 2015

Toward rapid prototyping of miniature Capsule Robots.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Hardware-software partitioning of soft multi-core cyber-physical systems.

[BibT_eX]

[DOI]

Benjámin Babják

Proceedings of the 13th International Conference on Telecommunications, 2015

2014

A modular software architecture for miniature capsule robots based on TinyOS.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

PinPtr: a high-precision GPS cloud service.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

Accurate real-time relative localization using single-frequency GPS.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, 2014

Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure.

[BibT_eX]

[DOI]

Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

Web- and Cloud-based Software Infrastructure for Materials Design.

[BibT_eX]

[DOI]

Gergely Varga

Sara Toth

Christopher R. Iacovella

Proceedings of the International Conference on Computational Science, 2014

Online Collaborative Environment for Designing Complex Computational Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Science, 2014

2013

Marmote SDR: Experimental Platform for Low-Power Wireless Protocol Stack Research.

[BibT_eX]

[DOI]

J. Sens. Actuator Networks, 2013

Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations.

[BibT_eX]

[DOI]

Gergely Varga

Sara Toth

Christopher R. Iacovella

Proceedings of the SIMULTECH 2013, 2013

RegTrack: a differential relative gps tracking solution.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

High-accuracy differential tracking of low-cost GPS receivers.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Acoustic shockwave-based bearing estimation.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013

2012

Mobile Sensor Waypoint Navigation via RF-Based Angle of Arrival Localization.

[BibT_eX]

[DOI]

Int. J. Distributed Sens. Networks, 2012

Rapid prototyping of image processing workflows on massively parallel architectures.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Intelligent Solutions in Embedded Systems, 2012

2011

Weapon classification and shooter localization using distributed multichannel acoustic sensors.

[BibT_eX]

[DOI]

J. Syst. Archit., 2011

RF angle of arrival-based node localisation.

[BibT_eX]

[DOI]

Int. J. Sens. Networks, 2011

Acoustic shooter localization with a minimal number of single-channel wireless sensor nodes.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Mobile Sensor Navigation Using Rapid RF-Based Angle of Arrival Localization.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Software-Defined Radio for Versatile Low-Power Wireless Sensor Systems.

[BibT_eX]

[DOI]

Proceedings of the Digital Information Processing and Communications, 2011

Fusing distributed muzzle blast and shockwave detections.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Information Fusion, 2011

2010

RF doppler shift-based mobile sensor tracking and navigation.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2010

Mobile air pollution monitoring network.

[BibT_eX]

[DOI]

Will Hedgecock

Akram Aldroubi

Alexander S. Szalay

Andreas Terzis

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Marmot: A Novel Low-Power Platform for WSNs.

[BibT_eX]

[DOI]

Proceedings of the Networked Digital Technologies - Second International Conference, 2010

Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the Networked Digital Technologies - Second International Conference, 2010

Software development for a novel WSN platform.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

Putting the software radio on a low-calorie diet.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Workshop on Hot Topics in Networks. HotNets 2010, Monterey, CA, USA - October 20, 2010

Radio Interferometric Angle of Arrival Estimation.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

Using RF received phase for indoor tracking.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Hot Topics in Embedded Networked Sensors, 2010

Dissemination and presentation of high resolution air pollution data from mobile sensor nodes.

[BibT_eX]

[DOI]

Will Hedgecock

Proceedings of the 48th Annual Southeast Regional Conference, 2010

Tracking in Urban Environments Using Sensor Networks Based on Audio-Video Fusion.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Ambient Intelligence and Smart Environments, 2010

2009

A Model-Integrated, Guideline-Driven, Clinical Decision-Support System.

[BibT_eX]

[DOI]

IEEE Softw., 2009

Differential Bearing Estimation for RF Tags.

[BibT_eX]

[DOI]

EURASIP J. Embed. Syst., 2009

Radio interferometric Quasi Doppler bearing estimation.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

Acoustic source localization and discrimination in urban environments.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Fusion, 2009

Raising the Abstraction of Domain-Specific Model Translator Development.

[BibT_eX]

[DOI]

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

A novel RF ranging method.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Intelligent Solutions in Embedded Systems, 2008

Target tracking in heterogeneous sensor networks using audio and video sensor fusion.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2008

Air Quality Monitoring with SensorMap.

[BibT_eX]

[DOI]

András Nádas

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

Fusion-based localization for a Heterogeneous camera network.

[BibT_eX]

[DOI]

Marci Meingast

Shankar Sastry

Proceedings of the 2008 Second ACM/IEEE International Conference on Distributed Smart Cameras, 2008

Multi-Modal Target Tracking Using Heterogeneous Sensor Networks.

[BibT_eX]

[DOI]

Shankar Sastry

Proceedings of the 17th International Conference on Computer Communications and Networks, 2008

Time Synchronization in Heterogeneous Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2008

Target tracking in urban environments using audio-video signal processing in heterogeneous wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 42nd Asilomar Conference on Signals, Systems and Computers, 2008

2007

Towards the security and privacy analysis of patient portals.

[BibT_eX]

[DOI]

SIGBED Rev., 2007

Embedded systems security co-design.

[BibT_eX]

[DOI]

SIGBED Rev., 2007

Tracking mobile nodes using RF Doppler shifts.

[BibT_eX]

[DOI]

Krishnakumar Balasubramanian

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

First International Workshop on the Model-Based Design of Trustworthy Health Information Systems.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Shooter localization and weapon classification with soldier-wearable networked sensors.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Mobile Systems, 2007

Radio interferometric tracking of mobile wireless nodes.

[BibT_eX]

[DOI]

Vladimir A. Protopopescu

Johnny Tolliver

Frank DeNap

Morey Parang

Proceedings of the 5th International Conference on Mobile Systems, 2007

inTrack: High Precision Tracking of Mobile Sensor Nodes.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, 2007

Integrating Security Modeling into Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

Component-Based System Integration via (Meta)Model Composition.

[BibT_eX]

[DOI]

Douglas C. Schmidt

Zoltán Molnár

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

A Modeling Environment for Patient Portals.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2007, 2007

2006

Elapsed time on arrival: a simple and versatile primitive for canonical time synchronisation services.

[BibT_eX]

[DOI]

Prabal Dutta

Philip Alexander Levis

David E. Culler

Int. J. Ad Hoc Ubiquitous Comput., 2006

Acoustic Source Localization Fusing Sparse Direction of Arrival Estimates.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Intelligent Solutions in Embedded Systems, 2006

Node density independent localization.

[BibT_eX]

[DOI]

Lambert G. L. T. Meertens

Proceedings of the Fifth International Conference on Information Processing in Sensor Networks, 2006

On the Scalability of Routing Integrated Time Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, Third European Workshop, 2006

Reliable Multihop Bulk Transfer Service for Wireless Sensor Networks.

[BibT_eX]

[DOI]

András Nádas

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

Countersniper system for urban warfare.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2005

Software composition and verification for sensor networks.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

Radio interferometric geolocation.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

A Concurrency Abstraction for Reliable Sensor Network Applications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Systems on Unreliable Networked Platforms, 2005

Sensor node localization using mobile acoustic beacons.

[BibT_eX]

[DOI]

Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Multiple simultaneous acoustic source localization in urban terrain.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

2004

Composition and cloning in modeling and meta-modeling.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2004

Shooter Localization in Urban Terrain.

[BibT_eX]

[DOI]

Computer, 2004

Model-Based Reflection for Autonomic Embedded Computing Systems.

[BibT_eX]

Vijayaraghavan Kalyanapasupathy

Sujata Mujumdar

Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems, 2004

Sensor network-based countersniper system.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

The flooding time synchronization protocol.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

Constraint-guided dynamic reconfiguration in sensor networks.

[BibT_eX]

[DOI]

Sachin Kogekar

Sandeep Neema

Brandon Eames

Proceedings of the Third International Symposium on Information Processing in Sensor Networks, 2004

Acoustic Ranging in Resource-Constrained Sensor Networks.

[BibT_eX]

Proceedings of the International Conference on Wireless Networks, 2004

Robust Multi-Hop Time Synchronization in Sensor Networks.

[BibT_eX]

Proceedings of the International Conference on Wireless Networks, 2004

Domain Independent Generative Modeling.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004

Framework for the Rapid Development of Modeling Environments.

[BibT_eX]

Proceedings of the Advanced Topics in Database Research, Vol. 3, 2004

2003

Modeling methodology for integrated simulation of embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2003

Model-integrated development of embedded software.

[BibT_eX]

[DOI]

Proc. IEEE, 2003

An end-to-end domain-driven software development framework.

[BibT_eX]

[DOI]

Aditya Agrawal

Gabor Karsai

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

ANEMIC: Automatic Interface Enabler for Model Integrated Computing.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2003

Multigranular Simulation of Heterogeneous Embedded Systems.

[BibT_eX]

[DOI]

Aditya Agrawal

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002

Model Reuse with Metamodel-Based Transformations.

[BibT_eX]

[DOI]

Proceedings of the Software Reuse: Methods, 2002

Component-Based Development of Networked Embedded Applications.

[BibT_eX]

[DOI]

Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

2001

Composing Domain-Specific Design Environments.

[BibT_eX]

[DOI]

Computer, 2001

MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems.

[BibT_eX]

[DOI]

Amol Bakshi

Viktor K. Prasanna

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

MILAN: A Model Based Integrated Simulation Framework for Desgin of Embedded Suystems.

[BibT_eX]

[DOI]

Amol Bakshi

Viktor K. Prasanna

Proceedings of The Workshop on Languages, 2001

Constraint-Guided Self-adaptation.

[BibT_eX]

[DOI]

Sandeep Neema

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

An Approach to Self-adaptive Software Based on Supervisory Control.

[BibT_eX]

[DOI]

Proceedings of the Self-Adaptive Software, Second International Workshop, 2001

The New Metamodeling Generation.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 2001

2000

Towards Two-Level Formal Modeling of Computer-Based Systems.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

Towards a paradigm for activity modeling.

[BibT_eX]

[DOI]

Jason T. Garrett

Frank DeCaria

Proceedings of the IEEE International Conference on Systems, 2000

Model-Integrated Embedded Systems.

[BibT_eX]

[DOI]

Arpad Bakay