Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

JEB

Known as: JEB Decompiler, Jeb (disambiguation) 
JEB is primarily known as a disassembler and decompiler software for Android applications. It decompiles Dalvik bytecode to Java source code. The… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Mobile devices have become ubiquitous due to centralization of private user information, contacts, messages and multiple sensors… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
2013
2013
The validation of formal models is a challenge for formal methods. We propose JeB, a framework which generates and executes… Expand
  • figure 1
  • table I
  • table II
  • figure 2
  • table III
Is this relevant?
2013
2013
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
  • figure 3.2
Is this relevant?
2012
2012
This paper addresses the validation of formal specifications in Event-B through the execution of the specification. Current tools… Expand
  • figure 1
  • table 1
  • figure 2
  • table 2
  • table 3
Is this relevant?
2010
2010
Different from large-size birds, hummingbirds are found to share more common flight patterns with insects, especially in hovering… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
Review
2009
Review
2009
Bioimpedance is a specialized field under constant development. Perhaps more than one thousand researchers worldwide are working… Expand
Is this relevant?
2000
2000
As the complexity of distributed embedded systems is increasing, and frequent upgrades and maintenance are expected, conventional… Expand
Is this relevant?
Review
1987
Review
1987
3 Paneth N, Stark RI. Cerebral palsy and mental retardation in relation to indicators of perinatal asphyxia. Am J Obstet Gynecol… Expand
Is this relevant?