引用次数
引用: 4,639
H-指数: 33
I10-指数 : 63
出版物: 167
First-order recurrent neural networks and deterministic finite state automata
Peter Manolios , Robert Fanelli
Neural Computation 6 ( 6) 1155 -1173
60
1994
Faster SAT solving with better CNF generation
Manolios , Vroon , Chambers
design, automation, and test in europe 1590 -1595
2009
System and method for equivalence class analysis-based automated requirements-based test case generation
Manolios , Li Panagiotis (Sharon , MA) , Oliveira Meng (Niskayuna
2
2018
Efficient execution in an automated reasoning environment
DAVID A. GREVE , MATT KAUFMANN , PANAGIOTIS MANOLIOS , J STROTHER MOORE
Journal of Functional Programming 18 ( 1) 15 -46
34
2008
Andrews, PB, 169 Appel, AW, 231 Aspinall, D., 261 Bachmair, L., 129
A Compagnoni , G Dowek , AP Felty , R Gentilini
Journal of Automated Reasoning 31 ( 371) 371 -371
2003
9D. 1 Verification of Executable Pipelined Machines with Bit-Level Interfaces
P Manolios , SK Srinivasan
IEEE ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN 2005 855 -855
2005
Branching Time Refinement (Brief Announcement)
P Manolios
PROCEEDINGS OF THE ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING 22 334 -334
2003
Sat Race 2008
Carsten Sinz , N Amla , T Jussila , D Le Berre
Webová stránka soutěže, http://www-sr. informatik. unituebingen. de/satrace-2008/, Eberhard Karls Universität Tübingen, Německo,(červen 2008)
15
2012
Using the ACL2 Theorem Prover: A Tutorial Introduction and Case Studies
M Kaufmann , P Manolios , J Moore
Kluwer Academic
13
2000
BAT: The Bit-level Analysis Tool. 2006
P Manolios , SK Srinivasan , D Vroon
6
Model Checking TLA+ Specifications
Panagiotis Manolios Yuan Yu , Leslie Lamport
Correct Hardware Design and Verification Methods: Advanced Research Working Conference, CHARME...: Proceedings 54 -54
1999
Computer-aided reasoning : ACL2 case studies
Panagiotis Manolios , J. Strother Moore , Matt Kaufmann
Kluwer Academic
181
2000
Automated specification analysis using an interactive theorem prover
Harsh Raju Chamarthi , Panagiotis Manolios
formal methods in computer-aided design 46 -53
8
2011
Mechanical verification of reactive systems
Panagiotis Manolios
66
2001
Pseudo-Boolean Solving by incremental translation to SAT
Panagiotis Manolios , Vasilis Papavasileiou
formal methods in computer-aided design 41 -45
15
2011
ILP Modulo Data
Panagiotis Manolios , Mirek Riedewald , Vasilis Papavasileiou
formal methods in computer-aided design 171 -178
4
2014
Automatic verification of safety and liveness for XScale-like processor models using WEB refinements
Panagiotis Manolios , Sudarshan K. Srinivasan
design, automation, and test in europe 1 10168
33
2004
FORMED: Bringing Formal Methods to the Engineering Desktop
Howard Reubenstein , Greg Eakman , John Wiegley , Panagiotis Manolios
2016
Efficient execution in an automated reasoning environment
Panagiotis Manolios , Matthew Wilding , David A. Greve , Sandip Ray
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009, 2009, ISBN 978-84-692-4600-9, págs. 181-182 181 -182
2009
A PosterioriSoundness for Non-deterministic Abstract Interpretations.
Matthew Might , Panagiotis Manolios
verification, model checking and abstract interpretation 260 -274
2009