Jason O. Hallstrom
Orcid: 0000-0002-4728-6099
According to our database1,
Jason O. Hallstrom
authored at least 104 papers
between 2002 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Single-Sample Direction-of-Arrival Estimation for Fast and Robust 3D Localization With Real Measurements from a Massive MIMO System.
Proceedings of the IEEE International Conference on Acoustics, 2023
2022
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022
Proceedings of the ACM SE '22: 2022 ACM Southeast Conference, Virtual Event, April 18, 2022
2021
Pervasive Mob. Comput., 2021
Initial Development of the Hybrid Aerial Underwater Robotic System (HAUCS): Internet of Things (IoT) for Aquaculture Farms.
IEEE Internet Things J., 2021
Informatics Educ., 2021
Proceedings of the 17th International Conference on Wireless and Mobile Computing, 2021
Proceedings of the SIGCSE '21: The 52nd ACM Technical Symposium on Computer Science Education, 2021
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021
Proceedings of the 4th IEEE 5G World Forum, 2021
2020
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions.
Proceedings of the ECSEE '20: European Conference on Software Engineering Education, 2020
2019
Flooding disaster resilience information framework for smart and connected communities.
J. Reliab. Intell. Environ., 2019
Proceedings of the IEEE International Conference on Smart Computing, 2019
Impact of Steps, Instruction, and Motivation on Learning Symbolic Reasoning Using an Online Tool.
Proceedings of the 50th ACM Technical Symposium on Computer Science Education, 2019
An Efficient and Affordable Web-based Prototyping and Testing Platform for Analog Sensors.
Proceedings of the IEEE International Symposium on INnovations in Intelligent SysTems and Applications, 2019
Proceedings of the IEEE 9th Annual Computing and Communication Workshop and Conference, 2019
2018
IEEE Trans. Mob. Comput., 2018
Waste Auditing Sensor Technology to Enhance the Reduction of Edible Discards in University Cafeterias & Eateries.
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018
Where exactly are the difficulties in reasoning logically about code? experimentation with an online system.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018
Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018
2017
Proceedings of the IEEE 7th Annual Computing and Communication Workshop and Conference, 2017
2016
Harnessing the flow of ecological data across networks, middleware, and applications.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016
Proceedings of the 2016 International Conference on Embedded Software, 2016
2015
CEDAR: A Low-Latency and Distributed Strategy for Packet Recovery in Wireless Networks.
IEEE/ACM Trans. Netw., 2015
Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.
ACM Trans. Comput. Educ., 2015
Comput. Networks, 2015
Proceedings of the 16th Annual Conference on Information Technology Education, 2015
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Proceedings of the 12th Annual IEEE International Conference on Sensing, 2015
Proceedings of the Internet of Things. IoT Infrastructures, 2015
DESAL ^\beta : A Framework For Implementing Self-stabilizing Embedded Network Applications.
Proceedings of the Internet of Things. IoT Infrastructures, 2015
Proceedings of the Wireless Sensor Networks - 12th European Conference, 2015
2014
IEEE Trans. Parallel Distributed Syst., 2014
An ACM 2013 exemplar course integrating fundamentals, languages, and software engineering.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems.
Proceedings of the Runtime Verification - 5th International Conference, 2014
Proceedings of the 2014 IEEE Military Communications Conference, 2014
Proceedings of the Innovation and Technology in Computer Science Education Conference 2014, 2014
Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2014
Proceedings of the 11th IEEE Consumer Communications and Networking Conference, 2014
Proceedings of the 2014 ACM Southeast Regional Conference, Kennesaw, GA, USA, March 28, 2014
2013
ACM Trans. Auton. Adapt. Syst., 2013
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
VSPIN: A framework for developing incremental sensor network reprogramming strategies.
Proceedings of the 4th International Workshop on Software Engineering for Sensor Network Applications, 2013
Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013
Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013
Proceedings of the International Conference on Embedded Software, 2013
Monitoring Sensor Measurement Anomalies of Streaming Environmental Data Using a Local Correlation Score.
Proceedings of the Fourth International Conference on Computing for Geospatial Research and Application, 2013
Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.
Proceedings of the ACM Southeast Regional Conference 2013, 2013
2012
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012
Proceedings of the 2012 IEEE Global Communications Conference, 2012
Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012
Proceedings of the 50th Annual Southeast Regional Conference, 2012
SFC: a simple flow control protocol for enabling reliable embedded network systems reprogramming.
Proceedings of the 50th Annual Southeast Regional Conference, 2012
Proceedings of the 50th Annual Southeast Regional Conference, 2012
2011
Capturing Interface Protocols to Support Comprehension and Evaluation of C++ Libraries.
Int. J. Softw. Eng. Knowl. Eng., 2011
A technology-assisted scavenger hunt for introducing K-12 students to sensor networks.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011
A Mobility Management Framework for Optimizing the Trajectory of a Mobile Base-Station.
Proceedings of the Wireless Sensor Networks - 8th European Conference, 2011
Proceedings of the 49th Annual Southeast Regional Conference, 2011
Proceedings of the 49th Annual Southeast Regional Conference, 2011
2010
The South Carolina Digital Watershed: End-to-End Support for Real-Time Management of Water Resources.
Int. J. Distributed Sens. Networks, 2010
<i>SFS</i><sup>3</sup>: a simulation <i>f</i>ramework for <i>s</i>elf-<i>s</i>tabilizing <i>s</i>ystems.
Proceedings of the 2010 Spring Simulation Multiconference, 2010
Proceedings of the 10th International conference on Embedded software, 2010
The Intelligent River©: Implementation of Sensor Web Enablement technologies across three tiers of system architecture: Fabric, middleware, and application.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 2010
A channelization protocol for multi-hop wireless sensor networks using frequency division multiplexing.
Proceedings of the 48th Annual Southeast Regional Conference, 2010
2009
Sci. Comput. Program., 2009
J. Syst. Softw., 2009
An Interactive, Source-Centric, Open Testbed for Developing and Profiling Wireless Sensor Systems.
Int. J. Distributed Sens. Networks, 2009
Ad Hoc Sens. Wirel. Networks, 2009
Proceedings of the 40th SIGCSE Technical Symposium on Computer Science Education, 2009
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.
Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009
Proceedings of the Formal Foundations of Reuse and Domain Engineering, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009
Proceedings of the 47th Annual Southeast Regional Conference, 2009
2008
Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008
Proceedings of the 17th International Conference on Computer Communications and Networks, 2008
2007
Proceedings of the 3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, 2007
Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007
2006
IEEE Softw., 2006
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006
Container-Based Component Deployment: A Case Study.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Pattern-Based System Evolution: A Case-Study.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Parallel Monitoring of Design Pattern Contracts.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Proceedings of the Fundamental Approaches to Software Engineering, 2006
Amplifying the Benefits of Design Patterns: From Specification Through Implementation.
Proceedings of the Fundamental Approaches to Software Engineering, 2006
2005
Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005
2004
J. Object Technol., 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Formal specification of design patterns: A case study.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004
2003
Proceedings of the 32nd International Conference on Parallel Processing (ICPP 2003), 2003
2002
J. Object Technol., 2002