Event Listing

12 NOV 2012
@ 1:30 pm
Industry
PRECISE Industry Lecture: The Aerospace Corporation - Current Research and Future Directions in Satellite Engineering
Successful Earth orbit satellites require many complex interactions to be engineered correctly – both interactions among vehicle subsystems and interactions with the launch and mission environments. Increasing demand for cost-effective vehicles to fly more and more involved… Read more
07 NOV 2012
@ 4:45 pm
Recruitment
NASA RECRUITING SESSION – Summer 2013 Internship
Langley Aerospace Research Student Scholars (LARSS) provides students with real research experience at one of the world’s premiere research centers.  There are exciting opportunities at NASA Langley for both undergraduate and graduate  students to perform research in almost… Read more
07 NOV 2012
@ 12:00 pm
Seminar
PRECISE Seminar: Research in Verification of Flight-Critical Systems
We begin by presenting a very short overview of past and current research carried out by the Safety Critical Avionics Brach (SCAB) at NASA's Langley Research Center (LaRC). We will then discuss several ongoing and new research projects being conducted in the SCAB. In… Read more
25 OCT 2012
@ 11:30 am
Seminar
PRECISE Seminar: Data Flow Graphs for Verification of Concurrent Programs
In this talk, I will try to make a case for the use of data flow graphs as a suitable notion for abstractions of concurrent programs for the purpose of verification. I will talk about two successful experiences that we have had with these graphs. One is the development of an… Read more
12 OCT 2012
@ 11:00 am
Webinar
PRECISE Webinar: Perspective on New Graduates’ Resumes – for Automotive Industry only
This webinar will be an informal question & answer session where we will discuss the characteristics of a well-written resume as well as the types of job opportunities for PRECISE students within the automotive industry.  Read more
08 OCT 2012
@ 11:00 am
Seminar
PRECISE Seminar: High-Performance Complex Event Processing Systems & Nested Word Automata
There is a growing demand for systems that can detect complex patterns in high-speed streams of events or in large volumes of stored sequences. This demand is driven by so-called complex event processing (CEP) applications whose success depends on their ability to make real-… Read more
21 SEP 2012
@ 11:45 am
Webinar
PRECISE Webinar: MathWorks - Perspective on New Graduates’ Resumes
MathWorks is the leading developer and supplier of software for technical computing and Model-Based Design. In this webinar, technical recruiter (from the embedded centric industry) will share his/her experiences so EMBS students can build on the insider knowledge of… Read more
13 SEP 2012
@ 4:00 pm
Recruitment
On-Campus Information Session - Lutron Electronics Co., Inc.
The session will include a snapshot of a career in embedded engineering at Lutron and a Q&A session.  Learn more about Lutron, including: Common core attributes of successful candidates hired at Lutron New hire experience  Read more
23 AUG 2012
@ 2:00 pm
Seminar
PRECISE Seminar: A Framework for Verification of Software with Time and Probabilities
(Joint work with Gethin Norman and David Parker)  Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand'' or "the expected time for a network protocol to successfully… Read more
19 JUL 2012
@ 11:00 am
Seminar
PRECISE Seminar: Parallel Assertions for Debugging Parallel Programs
A parallel program must execute correctly even in the presence of unpredictable thread interleavings. This interleaving makes it hard to write correct parallel programs, and also makes it hard to find bugs in incorrect parallel programs. A range of tools have been developed… Read more